Actions: eric-wieser/lean4
December 24, 2024 07:16
2s
CI
CI
#392:
Scheduled
December 24, 2024 07:15
20s
master
December 24, 2024 07:15
20s
December 24, 2024 02:34
10s
December 23, 2024 07:16
2s
CI
CI
#391:
Scheduled
December 23, 2024 07:16
22s
master
December 23, 2024 07:16
22s
December 23, 2024 02:36
10s
December 22, 2024 07:14
2s
CI
CI
#390:
Scheduled
December 22, 2024 07:14
25s
master
December 22, 2024 07:14
25s
December 22, 2024 02:39
11s
December 21, 2024 07:14
2s
CI
CI
#389:
Scheduled
December 21, 2024 07:13
20s
master
December 21, 2024 07:13
20s
December 21, 2024 02:31
14s
December 20, 2024 07:15
2s
CI
CI
#388:
Scheduled
December 20, 2024 07:15
29s
master
December 20, 2024 07:15
29s
December 20, 2024 02:35
10s
December 19, 2024 07:17
2s
CI
CI
#387:
Scheduled
December 19, 2024 07:17
21s
master
December 19, 2024 07:17
21s
December 19, 2024 02:42
14s
December 18, 2024 07:17
1s
CI
CI
#386:
Scheduled
December 18, 2024 07:16
26s
master
December 18, 2024 07:16
26s
December 18, 2024 02:42
12s
December 17, 2024 07:18
1s
CI
CI
#385:
Scheduled
December 17, 2024 07:17
18s
master
December 17, 2024 07:17
18s
December 17, 2024 02:47
9s
December 16, 2024 07:19
2s
You can’t perform that action at this time.