Actions: hhu-adam/lean4
January 31, 2024 07:05
2s
CI
CI
#7:
Scheduled
January 31, 2024 07:04
22s
master
January 31, 2024 07:04
22s
January 31, 2024 02:03
13s
January 30, 2024 07:02
1s
CI
CI
#6:
Scheduled
January 30, 2024 07:02
22s
master
January 30, 2024 07:02
22s
January 30, 2024 02:02
11s
January 29, 2024 07:02
1s
CI
CI
#5:
Scheduled
January 29, 2024 07:01
17s
master
January 29, 2024 07:01
17s
January 29, 2024 02:03
10s
January 28, 2024 07:01
1s
CI
CI
#4:
Scheduled
January 28, 2024 07:01
24s
master
January 28, 2024 07:01
24s
January 28, 2024 02:05
10s
January 27, 2024 07:01
1s
CI
CI
#3:
Scheduled
January 27, 2024 07:01
24s
master
January 27, 2024 07:01
24s
January 27, 2024 02:01
9s
January 26, 2024 17:59
2s
January 26, 2024 17:01
3s
January 26, 2024 17:01
26s
January 26, 2024 17:01
16m 27s
January 26, 2024 17:01
57m 46s
January 26, 2024 16:25
36m 13s
January 26, 2024 16:25
5m 23s
January 26, 2024 16:25
27s
January 26, 2024 16:25
27s
You can’t perform that action at this time.