Skip to content
pre-commit

Add a new workflow for concretization and delete older concretization workflows #425

Sign in to view logs

Add a new workflow for concretization and delete older concretization workflows

Add a new workflow for concretization and delete older concretization workflows #425

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre-commit
13s
13s