update CI
Showing
.gitmodules
0 → 100644
build/coqdoc
deleted
100755 → 0
build/opam-ci.sh
deleted
100755 → 0
build/ssh
deleted
100755 → 0
build/ssh_host_keys
deleted
100644 → 0
Please register or sign in to comment