Actions: opencompl/lean4
April 2, 2024 12:57
2m 53s
April 2, 2024 12:55
2m 8s
April 2, 2024 10:43
1h 2m 46s
April 2, 2024 09:04
1h 3m 15s
April 2, 2024 08:12
52m 34s
CI
CI
#68:
Scheduled
April 2, 2024 07:01
26s
master
April 1, 2024 22:37
1h 2m 36s
April 1, 2024 21:11
1h 11m 55s
April 1, 2024 20:30
1h 3m 14s
April 1, 2024 19:50
40m 4s
April 1, 2024 16:10
1h 9m 30s
April 1, 2024 16:08
1h 12m 25s
April 1, 2024 16:08
48m 8s
April 1, 2024 16:08
1h 10m 37s
April 1, 2024 16:00
1h 2m 5s
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
ProTip!
You can narrow down the results and go further in time using
created:<2024-03-31 or the other filters available.
You can’t perform that action at this time.