Build documentation

Update doc + fix CI + fix functests + README + release v2.0.0 (#8) #56

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_latex	2m 10s
sbox (2)	25s
formal_verif_matchi (2)	4m 28s
functest (2)	3m 5s
release	0s
	10m 8s