Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
George Pirlea
Iris
Commits
c3e8c99f
Commit
c3e8c99f
authored
Nov 09, 2018
by
Janno
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Bump Mtac2-8.8 commit to restore Coq 8.8.0 compat.
parent
78418ad1
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
1 addition
and
1 deletion
+1
-1
.gitlab-ci.yml
.gitlab-ci.yml
+1
-1
No files found.
.gitlab-ci.yml
View file @
c3e8c99f
...
...
@@ -6,7 +6,7 @@ stages:
variables
:
CPU_CORES
:
"
10"
MTAC2_87_COMMIT
:
"
1dd9ff4810d5044f9bce2418a7f7f6c01703672d"
MTAC2_88_COMMIT
:
"
ddac7c9284292a78beb506b00e3efc60fddfb7ae
"
MTAC2_88_COMMIT
:
"
7667c385c1ea640b05487f42a6676533c0e52895
"
.template
:
&template
stage
:
build
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment