diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2021-08-12 15:27:10 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2021-08-12 15:27:10 +0200 |
| commit | 058526ec5d33759f5f19dedc4767276009888a97 (patch) | |
| tree | 9cfdf42bc469574020acba0b0f639227e9327cf1 | |
| parent | 974e8b08353ee9baab59e0e4d8f81413f0789afc (diff) | |
Remove Travis CI workflow, we use GitHub actions now
Closes #123
| -rw-r--r-- | .travis.yml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 0ca0794b0..000000000 --- a/.travis.yml +++ /dev/null @@ -1,14 +0,0 @@ -sudo: required - -language: c - -services: - - docker - -before_install: - - docker pull odanoburu/gf-src:3.9 - -script: - - | - docker run --mount src="$(pwd)",target=/home/gfer,type=bind odanoburu/gf-src:3.9 /bin/bash -c "cd /home/gfer/src/runtime/c && - autoreconf -i && ./configure && make && make install ; cd /home/gfer ; cabal install -fserver -fc-runtime --extra-lib-dirs='/usr/local/lib'" |