.github/workflows/concretize.yaml

Add a new workflow for concretization and delete older concretization… #24

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
concretize (alma9, release)	1m 20s
concretize (alma9, nightly)	1m 18s
concretize (ubuntu22, release)	1m 19s
concretize (ubuntu22, nightly)	1m 20s
	5m 17s