CI - Linux via APT

Add a task to easily release a new Pinocchio version #2452

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu:20.04)	9m 1s
build (ubuntu:22.04)	7m 54s
build (ubuntu:24.04)	7m 24s
check-linux-apt	2s
	24m 21s