Skip to content
.github/workflows/ci.yml

Fix a minor issue in the Lean tests #232

Sign in to view logs

Fix a minor issue in the Lean tests

Fix a minor issue in the Lean tests #232

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix
44s
lean
8m 10s
8m 54s