Skip to content

Update lean-toolchain for testing https://github.com/leanprover/lean4… #149945

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #149945

Annotations

1 warning

Post-CI job

succeeded Dec 16, 2024 in 9s
Set up job
1s
Run actions/checkout@v4
6s
Run 8BitJonny/gh-get-current-pr@3.0.0
0s
Remove "awaiting-CI"
0s
If `auto-merge-after-CI` is present, add a `bors merge` comment.
0s
Post Run actions/checkout@v4
0s
Complete job
0s