Actions: thorimur/lean4
CI
CI
#346:
Scheduled
October 2, 2024 07:14
20s
master
October 2, 2024 07:14
20s
CI
CI
#345:
Scheduled
October 1, 2024 07:15
21s
master
October 1, 2024 07:15
21s
September 30, 2024 07:16
2s
CI
CI
#344:
Scheduled
September 30, 2024 07:16
24s
master
September 30, 2024 07:16
24s
September 29, 2024 07:13
1s
CI
CI
#343:
Scheduled
September 29, 2024 07:13
23s
master
September 29, 2024 07:13
23s
September 28, 2024 07:13
2s
CI
CI
#342:
Scheduled
September 28, 2024 07:13
22s
master
September 28, 2024 07:13
22s
September 27, 2024 07:15
2s
CI
CI
#341:
Scheduled
September 27, 2024 07:15
27s
master
September 27, 2024 07:15
27s
September 26, 2024 07:15
2s
CI
CI
#340:
Scheduled
September 26, 2024 07:15
27s
master
September 26, 2024 07:15
27s
September 25, 2024 07:15
3s
CI
CI
#339:
Scheduled
September 25, 2024 07:15
22s
master
September 25, 2024 07:15
22s
September 24, 2024 07:15
2s
CI
CI
#338:
Scheduled
September 24, 2024 07:14
23s
master
September 24, 2024 07:14
23s
September 23, 2024 07:15
2s
CI
CI
#337:
Scheduled
September 23, 2024 07:15
23s
master
September 23, 2024 07:15
23s
September 22, 2024 07:13
2s
CI
CI
#336:
Scheduled
September 22, 2024 07:13
22s
master
September 22, 2024 07:13
22s
September 21, 2024 07:13
2s
CI
CI
#335:
Scheduled
September 21, 2024 07:13
22s
master
September 21, 2024 07:13
22s
September 20, 2024 07:15
2s
You can’t perform that action at this time.