Skip to content
.github/workflows/blueprint.yml

Remove now-superfluous open statements; fix one proof in Unused/. #11

Sign in to view logs

Remove now-superfluous open statements; fix one proof in Unused/.

Remove now-superfluous open statements; fix one proof in Unused/. #11

Run time

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