 Andrés Sicard-Ramírez
|
9f97aa5d30
[ #4955 ] Used GHC 9.0.1 on Travis.
|
hace 3 años |
|
Andrés Sicard-Ramírez
|
4328ecefa0
[ fixed #4454 ] Fetched the cubical library.
|
hace 5 años |
|
Andrés Sicard-Ramírez
|
0ac54801be
[ fixed #4177 ] Removed heavy optimisation settings when testing with GHC 8.0.2.
|
hace 5 años |
|
Andrés Sicard-Ramírez
|
cf4ad26221
[ .travis ] Added a title.
|
hace 5 años |
 Liang-Ting Chen
|
d972466cc5
Revert "[travis] Increase the Travis waiting time to 20m when compiling Agda"
|
hace 5 años |
|
Liang-Ting Chen
|
2725642e82
[travis] Increase the Travis waiting time to 60m when compiling Agda
|
hace 5 años |
|
Liang-Ting Chen
|
3e5b95b2b9
[travis] Increase the Travis waiting time to 20m when compiling Agda
|
hace 5 años |
|
Andrés Sicard-Ramírez
|
a023a6de3c
[ .travis ] Fixed withespace issues.
|
hace 5 años |
|
Liang-Ting Chen
|
8ab670f2d9
[ travis, fix #4025 ] Main test builds dependencies without downloading them first (#4113)
|
hace 5 años |
|
Liang-Ting Chen
|
d109047e87
[ re #4025 ] Travis CI for Windows and Whitespace check (#4097)
|
hace 5 años |
|
Liang-Ting Chen
|
6549537601
[ re #4025 ] Revised Travis configuration - build stages (#4068)
|
hace 5 años |
