Skip to content

added coq-equations to gitlab-ci

Max Ole Elliger requested to merge include/coq-equations into main

Since the official Coq-Documentation references the Equations-Extension, it seems helpful to add it to the .gitlab-ci.yml-File.

Merge request reports