Deploy

Add support for several notes for the same edge #126

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-frama-c-cil (3.8)	6s
build-launcher (3.8)	27m 25s
build-mea (3.8)	27s
build-visualizer (3.8)	39s
	28m 37s