Skip to content
Snippets Groups Projects
Commit 3d7d5305 authored by Ralf Jung's avatar Ralf Jung
Browse files

update CI

parent 50c925bc
No related branches found
No related tags found
1 merge request!10make it compatible with Coq 8.7, and test that
Pipeline #
Hide whitespace changes
Inline Side-by-side
.gitignore
+ 3
− 1
View file @ 3d7d5305
......@@ -17,5 +17,7 @@
.#*
auto
*.fmt
Makefile.coq*
Makefile.coq
Makefile.coq.conf
build-dep
*~
Makefile
+ 1
− 0
View file @ 3d7d5305
......@@ -41,6 +41,7 @@ build-dep: build-dep/opam phony
Makefile: ;
_CoqProject: ;
awk.Makefile: ;
opam: ;
# Phony wildcard targets
phony: ;
......
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