Skip to content
ci

Fix Lean 3 names in comments. #97

Sign in to view logs

Fix Lean 3 names in comments.

Fix Lean 3 names in comments. #97

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
1m 43s
1m 43s