Skip to content

chore: bump to v4.14.0-rc1 #231

chore: bump to v4.14.0-rc1

chore: bump to v4.14.0-rc1 #231

Annotations

1 warning

Build and test (ubuntu-latest, curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none , 4.10.0)

succeeded Nov 4, 2024 in 5m 2s
Set up job
1s
Install elan
1s
Which lake?
0s
Run actions/checkout@v3
1s
List all files
0s
Select Lean version
0s
Lean version
4s
Cache .lake
2s
Build the project
44s
Configure demo/test subproject
54s
Run tests
3m 13s
Post Cache .lake
0s
Post Run actions/checkout@v3
0s
Complete job
0s