Actions: opencompl/lean4
October 27, 2024 12:19
10s
October 27, 2024 12:19
6m 9s
October 27, 2024 07:01
3s
CI
CI
#611:
Scheduled
October 27, 2024 07:01
29s
master
October 27, 2024 07:01
29s
October 27, 2024 02:04
11s
October 26, 2024 23:25
2s
October 26, 2024 22:54
2s
October 26, 2024 22:38
30s
October 26, 2024 22:38
11s
October 26, 2024 22:38
17s
October 26, 2024 22:38
16m 30s
October 26, 2024 22:38
31s
October 26, 2024 22:38
16m 11s
October 26, 2024 22:37
2m 49s
October 26, 2024 22:37
30s
October 26, 2024 22:37
47m 28s
October 26, 2024 22:37
50m 41s
October 26, 2024 07:01
2s
CI
CI
#608:
Scheduled
October 26, 2024 07:00
25s
master
October 26, 2024 07:00
25s
October 26, 2024 01:59
11s
October 25, 2024 07:01
2s
CI
CI
#607:
Scheduled
October 25, 2024 07:01
29s
master
October 25, 2024 07:01
29s
October 25, 2024 02:01
14s
October 24, 2024 07:01
1s
CI
CI
#606:
Scheduled
October 24, 2024 07:01
27s
master
October 24, 2024 07:01
27s
You can’t perform that action at this time.