Actions: opencompl/lean4
April 1, 2024 15:27
6h 0m 49s
April 1, 2024 15:27
33m 27s
April 1, 2024 14:48
6h 0m 54s
April 1, 2024 14:48
1h 20m 10s
April 1, 2024 14:10
1h 11m 43s
April 1, 2024 13:40
30m 25s
April 1, 2024 13:39
Failure
April 1, 2024 12:21
9m 1s
CI
CI
#50:
Scheduled
April 1, 2024 07:01
22s
master
March 31, 2024 18:55
48m 0s
March 31, 2024 14:59
48m 13s
March 31, 2024 12:34
48m 0s
March 31, 2024 12:25
47m 53s
March 31, 2024 10:09
48m 19s
CI
CI
#44:
Scheduled
March 31, 2024 07:01
21s
master
March 30, 2024 15:43
48m 22s
March 30, 2024 15:12
59m 42s
March 30, 2024 15:12
48m 7s
CI
CI
#40:
Scheduled
March 30, 2024 07:01
23s
master
CI
CI
#39:
Scheduled
March 29, 2024 07:00
20s
master
CI
CI
#38:
Scheduled
March 28, 2024 07:01
29s
master
CI
CI
#37:
Scheduled
March 27, 2024 07:01
20s
master
CI
CI
#36:
Scheduled
March 26, 2024 07:01
22s
master
CI
CI
#35:
Scheduled
March 25, 2024 07:01
24s
master
CI
CI
#34:
Scheduled
March 24, 2024 07:01
23s
master
You can’t perform that action at this time.