CI - Linux via APT

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu:20.04)	1s
build (ubuntu:22.04)	1s
build (ubuntu:24.04)	1s
check-linux-apt	3s
	6s