Skip to content
Bump version and make master job

Allow including lemmas dynamically into APRProver (#4681) #1138

Sign in to view logs

Allow including lemmas dynamically into APRProver (#4681)

Allow including lemmas dynamically into APRProver (#4681) #1138

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
18s
18s