Skip to content
Lint GitHub Actions workflows

Allow including lemmas dynamically into APRProver #861

Sign in to view logs

Allow including lemmas dynamically into APRProver

Allow including lemmas dynamically into APRProver #861

Run time

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