Deploy

Duplicate notes edge after they have been fully created #129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-launcher (3.8)	18m 27s
build-frama-c-cil (3.8)	8s
build-mea (3.8)	28s
build-visualizer (3.8)	42s
	19m 45s