Skip to content
pull request

check that Compfiles.lean is up-to-date in CI #32

Sign in to view logs

check that Compfiles.lean is up-to-date in CI

check that Compfiles.lean is up-to-date in CI #32

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
4m 32s
4m 32s