Skip to content
Lint GitHub Actions workflows

Allow including lemmas dynamically into APRProver #882

Sign in to view logs

Allow including lemmas dynamically into APRProver

Allow including lemmas dynamically into APRProver #882

Triggered via pull request November 21, 2024 13:04
@ehildenbehildenb
synchronize #4681
custom-modules-for-proofs
Status Success
Total duration 17s
Artifacts –

run-actionlint.yml

on: pull_request
Run actionlint
8s
Run actionlint
Fit to window
Zoom out
Zoom in