diff options
| author | Emilio Jesus Gallego Arias | 2018-12-13 01:36:26 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-13 01:36:26 +0100 |
| commit | 99f41665413388b8a967971dcfe1dc30cd9667e0 (patch) | |
| tree | ce90e45debe3dfdb79ad446ed398059ef51a2d86 /plugins/extraction/ExtrHaskellNatInt.v | |
| parent | 4ecbad30c77316294c8625ead722d469c1c7f79d (diff) | |
[ci] [appveyor] Temporally disable test suite on Appveyor.
Hopefully we will re-enable it back soon, I am preparing a refactoring
that should make it more robust w.r.t paths and changes on Windows
which will enable to use a faster build system.
But now it is timing out 100% of the times [due to #8655] so it is not
useful.
Diffstat (limited to 'plugins/extraction/ExtrHaskellNatInt.v')
0 files changed, 0 insertions, 0 deletions