 Andreas Abel
|
d38bd22afb
[ #2980 ] travis: attempt to "allow failures" in user-manual test
|
7 years ago |
 Andrés Sicard-Ramírez
|
a4f5e43069
[ fixed #2980 ] Reenabled user manual link check on Travis.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
3356968c1b
[ #2980 ] Moved one commented line.
|
7 years ago |
 Ulf Norell
|
f25bab2c10
[ #2980 ] missing semicolon
|
7 years ago |
|
Ulf Norell
|
e909ca3fa2
[ #2980 ] disable user manual link check on travis
|
7 years ago |
|
Andrés Sicard-Ramírez
|
6c779295b7
[ user manual ] Tested URLs.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
313d7a059a
[ #2815 ] Added `--ghc-option=-w` option when installing `shelltestrunner`.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
dba16d91cc
[ closed #2815 ] Reduced Travis output.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
e44a7f0c24
[ travis ] Fixed typo.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
b16c92b087
[ travis ] Facilitated the reading the versions.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
34087afab4
[ closed #2884 ] Added Travis test.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
3a7a772349
[ #2884, travis ] Renaming `DOC` to `USER_MANUAL`.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
b6d548dc54
[ #2884 ] Renaming `documentation` to `user manual`.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
c807163e85
[ #2884 ] Added documentation for requirements.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
acc6862ede
Added support and Travis test for Stackage on GHC 8.2.2.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
266fa463ef
[ travis ] Fixed typos.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
26bd5304f8
[ travis ] Removed unnecessary conditional.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
2d690bc20f
Supported GHC 8.2.2.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
ca7ef88b23
[ #2692, travis ] `cabal-install`.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
f5b1b95946
[ fixed #2692 ] Removed support for GHC 7.8.4.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
40808457fc
[ travis ] Added GHC 8.2.2 RC1 to the build matrix.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
3af197fb9c
[ #2314 ] Used latest version of alex on Travis.
|
7 years ago |
|
Andrés Sicard-Ramírez
|
bd1930452d
[ #2314 ] Used latest version of happy on Travis. (#2737)
|
7 years ago |
 Nils Anders Danielsson
|
4c43921208
Reverted "[ travis ] Turning travis on for branch Issue2604".
|
7 years ago |
|
Ulf Norell
|
0608ccbeeb
Merge branch Issue2604 into stable-2.5
|
7 years ago |
 gallais
|
10d9fc9951
[ fix ] obscure yaml error
|
7 years ago |
|
gallais
|
08cf28d5eb
[ fix ] stripping out 'latest" comments
|
7 years ago |
|
gallais
|
7769ad49d7
[ travis ] Trying to bypass connectivity issues
|
7 years ago |
|
Andrés Sicard-Ramírez
|
6e2c4906b6
[ travis ] Added documentation about the options to `cabal install`.
|
7 years ago |
