Skip to content
Snippets Groups Projects
Commit ab733c52 authored by Janno's avatar Janno
Browse files

Change CI docker image name; remove artifacts

parent 519bf37c
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 5 deletions
.gitlab-ci.yml
+ 1
− 5
View file @ ab733c52
image: coq:8.5 image: coq-git:8.5
stages: stages:
- deps - deps
...@@ -18,9 +18,6 @@ iris: ...@@ -18,9 +18,6 @@ iris:
mv _CoqProject_filtered _CoqProject; mv _CoqProject_filtered _CoqProject;
make -j8 quick; make -j8 quick;
git checkout _CoqProject git checkout _CoqProject
artifacts:
paths:
- coq/iris/*/*.vio
only: only:
- master - master
...@@ -37,7 +34,6 @@ vio: ...@@ -37,7 +34,6 @@ vio:
- master - master
artifacts: artifacts:
paths: paths:
- coq/ra/*.vio
- coq/ra/build-time-vio.txt - coq/ra/build-time-vio.txt
vio2vo: vio2vo:
......
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