Pipeline

Move CI workflow to common script, simplify packaging script, remove … #159

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate examples	7m 29s
Run tests	31m 44s
Package cores repository	3m 55s
Run lint checks	2m 17s
	45m 25s