Actions: leanprover/lean4
September 23, 2024 04:08
16m 42s
September 23, 2024 04:07
1m 37s
September 23, 2024 04:07
15s
September 23, 2024 04:07
1m 50s
September 23, 2024 04:07
11s
September 23, 2024 04:07
35s
September 23, 2024 04:07
58s
September 23, 2024 04:06
12s
September 23, 2024 04:06
31s
September 23, 2024 04:06
5m 5s
September 23, 2024 04:06
5m 5s
September 23, 2024 04:06
1s
September 23, 2024 03:52
2s
September 23, 2024 03:49
47s
CI
CI
#21679:
Merge group checks requested
September 23, 2024 03:49
21m 13s
September 23, 2024 03:49
21m 13s
September 23, 2024 03:49
8s
Nix CI
Nix CI
#18510:
Merge group checks requested
September 23, 2024 03:49
18m 17s
September 23, 2024 03:49
18m 17s
Actionlint
Actionlint
#2131:
Merge group checks requested
September 23, 2024 03:49
2m 50s
September 23, 2024 03:49
2m 50s
September 23, 2024 03:49
3m 19s
September 23, 2024 03:47
1s
September 23, 2024 03:44
44s
Nix CI
Nix CI
#18509:
Merge group checks requested
September 23, 2024 03:44
18m 20s
September 23, 2024 03:44
18m 20s
September 23, 2024 03:44
10s
CI
CI
#21678:
Merge group checks requested
September 23, 2024 03:44
21m 42s
September 23, 2024 03:44
21m 42s
Actionlint
Actionlint
#2130:
Merge group checks requested
September 23, 2024 03:44
2m 47s
September 23, 2024 03:44
2m 47s
You can’t perform that action at this time.