Skip to content
Snippets Groups Projects
Commit 0a080995 authored by Samuel Hym's avatar Samuel Hym
Browse files

CI: Build dx using Coq 8.13

parent a19b1e4c
No related branches found
No related tags found
No related merge requests found
Pipeline #16793 passed
Stage: build
Stage: test
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 0a080995
image: "coqorg/coq:latest" image: "coqorg/coq:8.13"
build dx and deps: build dx and deps:
stage: build stage: build
script: script:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment