Actions: Lean-zh/lean4
CI
CI
#37:
Scheduled
August 4, 2024 07:14
26s
master
CI
CI
#36:
Scheduled
August 3, 2024 07:13
24s
master
CI
CI
#35:
Scheduled
August 2, 2024 07:16
26s
master
CI
CI
#34:
Scheduled
August 1, 2024 07:15
22s
master
CI
CI
#33:
Scheduled
July 31, 2024 07:13
20s
master
CI
CI
#32:
Scheduled
July 30, 2024 07:15
21s
master
CI
CI
#31:
Scheduled
July 29, 2024 07:15
25s
master
CI
CI
#30:
Scheduled
July 28, 2024 07:14
27s
master
CI
CI
#29:
Scheduled
July 27, 2024 07:15
23s
master
CI
CI
#28:
Scheduled
July 26, 2024 07:14
23s
master
CI
CI
#27:
Scheduled
July 25, 2024 07:16
27s
master
CI
CI
#26:
Scheduled
July 24, 2024 07:15
22s
master
CI
CI
#25:
Scheduled
July 23, 2024 07:15
22s
master
CI
CI
#24:
Scheduled
July 22, 2024 07:15
18s
master
CI
CI
#23:
Scheduled
July 21, 2024 07:13
20s
master
CI
CI
#22:
Scheduled
July 20, 2024 07:14
20s
master
CI
CI
#21:
Scheduled
July 19, 2024 07:16
22s
master
CI
CI
#20:
Scheduled
July 18, 2024 07:15
24s
master
CI
CI
#19:
Scheduled
July 17, 2024 07:16
26s
master
CI
CI
#18:
Scheduled
July 16, 2024 07:16
24s
master
CI
CI
#17:
Scheduled
July 15, 2024 07:15
25s
master
CI
CI
#16:
Scheduled
July 14, 2024 07:16
19s
master
CI
CI
#15:
Scheduled
July 13, 2024 07:14
20s
master
CI
CI
#14:
Scheduled
July 12, 2024 07:15
21s
master
CI
CI
#13:
Scheduled
July 11, 2024 07:16
27s
master
You can’t perform that action at this time.