diff options
| author | Emilio Jesus Gallego Arias | 2019-09-19 11:25:46 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-09-20 03:50:39 +0200 |
| commit | 58a20d7268608a701a4cd8f51baaa7ba42d23f82 (patch) | |
| tree | c053b54868a39c44292abdc8c3aee89abd18b6c1 /dev | |
| parent | f050253ac1e5507f3d3bf52f94c7a23ba2775d00 (diff) | |
[ci] Remove OCaml "trunk" CI jobs.
It will take non-trivial effort to make Coq work with OCaml >= 4.10.0.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions