Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Inria CI: second tentative fix for the other-configs pipeline

master
Sébastien Hinderer 2020-11-24 17:45:35 +01:00
parent 250e6fbdc7
commit c4e77cd91d
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/ci/inria/other-configs/Jenkinsfile vendored
View File

@ -29,7 +29,6 @@ pipeline {
}
}
}
}
post {
regression {
emailext (