-
74779a86 · fix: gitlab base_url (needed to get proper README.md hyperlinks)
-
8738ae45 · Merge pull request #36 from math-comp/add-2.3.0
- ... and 4 more commits. Compare 9a73ede9...8738ae45
-
1ef43493 · [CI merge] PR #36: fix: Re-add 2.3.0 recipe
- ... and 3 more commits. Compare c0ca597f...1ef43493
-
f8194988 · fix: Split the Dockerfile in two ones (Dockerfile.coq, Dockerfile.r...
- ... and 2 more commits. Compare 06b92ffa...f8194988
-
9a73ede9 · Merge pull request #34 from math-comp/fix-9.0
- ... and 3 more commits. Compare ac3b4028...9a73ede9
-
c08f0433 · [CI merge] PR #34: fix: s/9.00/9.0/
- ... and 1 more commit. Compare 12ac78f7...c08f0433
-
5e05f204 · chore: Silence a warning that is not critical at all
-
12ac78f7 · [CI merge] PR #34: fix: s/9.00/9.0/
- ... and 1 more commit. Compare 20119529...12ac78f7
-
5e8783a1 · feat: Fix input Docker image and output Docker tag for rocq-prover
-
ac3b4028 · Merge pull request #33 from hoheinzollern/mathcomp-2.4.0
- ... and 1 more commit. Compare e9f94c2c...ac3b4028
-
0a120749 · feat: Add mathcomp/mathcomp:2.3.0* & Remove mathcomp/mathcomp:1.19....