Skip to content
Snippets Groups Projects
Unverified Commit 02377526 authored by Max Ole Elliger's avatar Max Ole Elliger :penguin:
Browse files

Merge tag 'comoproj-v2.6.1' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 

updated docker image tag
parents 8de77580 53c9a165
No related branches found
Tags druck2
No related merge requests found
Pipeline #133591 passed
Stage: build
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment