Skip to content

Merge pull request #27 from leanprover/bump_to_v4.13.0 #148

Merge pull request #27 from leanprover/bump_to_v4.13.0

Merge pull request #27 from leanprover/bump_to_v4.13.0 #148

Annotations

1 warning

test

succeeded Nov 1, 2024 in 27s
Set up job
1s
install elan
0s
Run actions/checkout@v3
2s
test
22s
Post Run actions/checkout@v3
0s
Complete job
0s