diff options
| author | Enrico Tassi | 2021-03-24 18:23:39 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-03-26 15:19:19 +0100 |
| commit | 2fb6fad0ae62f86a71716b2b179adab8af88bce2 (patch) | |
| tree | 7e8a0abce4a20641734ec300adefacc3d5886c09 /dev | |
| parent | 34ece1ae3e6696bdc9556e5019c3b8ec3fd23f8a (diff) | |
[ci] overlay file for #13958
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/user-overlays/13958-gares-recordops-api.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/13958-gares-recordops-api.sh b/dev/ci/user-overlays/13958-gares-recordops-api.sh new file mode 100644 index 0000000000..0ec50a1dda --- /dev/null +++ b/dev/ci/user-overlays/13958-gares-recordops-api.sh @@ -0,0 +1,6 @@ +overlay metacoq https://github.com/gares/metacoq recordops-api 13958 +overlay mtac2 https://github.com/gares/Mtac2 recordops-api 13958 +overlay elpi https://github.com/gares/coq-elpi recordops-api 13958 +overlay unicoq https://github.com/gares/unicoq recordops-api 13958 +overlay equations https://github.com/gares/Coq-Equations recordops-api 13958 +overlay hierarchy_builder https://github.com/gares/hierarchy-builder coq-master 13958 |