Actions: kmill/lean4
CI
CI
#347:
Scheduled
October 1, 2024 07:07
29s
master
October 1, 2024 07:07
29s
October 1, 2024 02:41
15s
September 30, 2024 07:08
3s
CI
CI
#346:
Scheduled
September 30, 2024 07:08
34s
master
September 30, 2024 07:08
34s
September 30, 2024 02:38
12s
September 29, 2024 07:02
2s
CI
CI
#345:
Scheduled
September 29, 2024 07:02
24s
master
September 29, 2024 07:02
24s
September 29, 2024 02:37
15s
September 28, 2024 07:00
1s
CI
CI
#344:
Scheduled
September 28, 2024 07:00
31s
master
September 28, 2024 07:00
31s
September 28, 2024 02:30
11s
September 27, 2024 07:07
2s
CI
CI
#343:
Scheduled
September 27, 2024 07:07
24s
master
September 27, 2024 07:07
24s
September 27, 2024 02:33
14s
September 26, 2024 07:07
2s
CI
CI
#342:
Scheduled
September 26, 2024 07:07
24s
master
September 26, 2024 07:07
24s
September 26, 2024 02:31
14s
September 25, 2024 07:07
2s
CI
CI
#341:
Scheduled
September 25, 2024 07:07
25s
master
September 25, 2024 07:07
25s
September 25, 2024 02:34
10s
September 24, 2024 07:07
2s
CI
CI
#340:
Scheduled
September 24, 2024 07:06
29s
master
September 24, 2024 07:06
29s
September 24, 2024 02:32
14s
September 23, 2024 07:07
2s
CI
CI
#339:
Scheduled
September 23, 2024 07:07
24s
master
September 23, 2024 07:07
24s
You can’t perform that action at this time.