Deploy

Add support for several notes for the same edge (#63) #131

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-frama-c-cil (3.8)	9s
build-mea (3.8)	26s
build-launcher (3.8)	20m 40s
build-visualizer (3.8)	36s
	21m 51s