Merge branch 'master' of into dfrac_notations

2 jobs for !756 with dfrac_notations in 18 minutes and 16 seconds (queued for 6 seconds)
latest merge request
Name Stage Failure
build-coq.8.12.2 Build
COQTEST tests/one_shot_once.v (ref: tests/one_shot_once.ref)
COQTEST tests/one_shot.v (ref: tests/one_shot.ref)

real 8m8.095s
user 29m39.237s
sys 1m47.136s
[buildjob] Aborting build because of warnings.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1