Deploy

Add support for disabled readLineDirectives (#47) #111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-launcher (3.8)	19m 56s
build-frama-c-cil (3.8)	8s
build-mea (3.8)	32s
build-visualizer (3.8)	49s
	21m 25s