Build

Merge pull request #12 from jan-dolejsi/feature/pddl-workspace_v11.3.0 #46

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (18)	16s
build (20)	16s
build (22)	16s
publish	19s
	1m 7s