Skip to content

Merge pull request #10 from leanprover-community/bump_to_v4.15.0 #54

Merge pull request #10 from leanprover-community/bump_to_v4.15.0

Merge pull request #10 from leanprover-community/bump_to_v4.15.0 #54

Annotations

1 warning

build

succeeded Jan 4, 2025 in 26s
Set up job
2s
Run actions/checkout@v4
0s
Run leanprover/lean-action@v1
21s
Post Run actions/checkout@v4
0s
Complete job
0s