Merge branch 'include-coqdocjs' into 'main'
Passed
Max Ole Elliger
created pipeline for commit
da69a0fc
, finished
For comoproj-v2.7.0
6 seconds, queued for 1 seconds