Skip to content
Lint GitHub Actions workflows

Allow including lemmas dynamically into APRProver #859

Sign in to view logs

Allow including lemmas dynamically into APRProver

Allow including lemmas dynamically into APRProver #859

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run actionlint
7s
7s