Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Template Coq-Project
Repository
Branches
Overview
Active
Stale
All
Active branches
pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1
protected
9a09249d
·
Merge tag 'comoproj-v2.7.0' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1
·
Apr 11, 2024
release/comoproj/coqc-8.16.1-ocaml-4.13.1
protected
9a09249d
·
Merge tag 'comoproj-v2.7.0' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1
·
Apr 11, 2024
main
default
protected
da69a0fc
·
Merge branch 'include-coqdocjs' into 'main'
·
Apr 11, 2024
Stale branches
pre-release/comoproj/coqc-8.18.0-ocaml-4.13.1
protected
a1d01c1c
·
Merge tag 'comoproj-v2.3.1' into pre-release/comoproj/coqc/v8.18.0
·
Dec 26, 2023
release/comoproj/coqc-8.18.0-ocaml-4.13.1
protected
a1d01c1c
·
Merge tag 'comoproj-v2.3.1' into pre-release/comoproj/coqc/v8.18.0
·
Dec 26, 2023
release/comoproj/coqc/v8.18.0
protected
a1d01c1c
·
Merge tag 'comoproj-v2.3.1' into pre-release/comoproj/coqc/v8.18.0
·
Dec 26, 2023
testing-github-actions
73375d9d
·
feature: Added a equivalent Github action
·
Feb 04, 2024