diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-11-21 17:39:24 +0000 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-11-21 18:39:24 +0100 |
| commit | e506f77e8f6ddeb3e114a3b7e3ce5f114192d801 (patch) | |
| tree | d9387c5867ba98c81988591713249915230db9e3 /.travis.yml | |
| parent | 03862a4607fd127e6570a3e141a92265a23c2a68 (diff) | |
| download | ghdl-e506f77e8f6ddeb3e114a3b7e3ce5f114192d801.tar.gz ghdl-e506f77e8f6ddeb3e114a3b7e3ce5f114192d801.tar.bz2 ghdl-e506f77e8f6ddeb3e114a3b7e3ce5f114192d801.zip | |
Actions: add workflow 'push' (#1016)
* use CC=clang to build C sources on macOS
* actions: ensure that shared libs are in the PATH on windows
* ci: add GitHub Actions 'push' workflow
* ci: fix group labels
* dist: add GRAY to ansi_color
* ci: use same scripts for GHA and Travis
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/.travis.yml b/.travis.yml index 9b3293958..3ee6efd21 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,21 +3,21 @@ dist: xenial services: docker language: minimal install: skip -script: ./dist/travis/travis-ci.sh +script: ./dist/ci-run.sh -c $TARGS # For each linux build, a different job/instance (with the constraints # above) is executed in parallel in stage 'test'. env: matrix: - - IMAGE=buster+mcode - - IMAGE=buster+mcode - EXTRA=gpl - - IMAGE=buster+mcode - EXTRA=synth - - IMAGE=ubuntu14+mcode - - IMAGE=ubuntu14+llvm-3.8 - - IMAGE=fedora30+mcode - - IMAGE=fedora30+llvm + - TASK=buster+mcode + - TASK=buster+mcode + TARGS=--gpl + - TASK=buster+mcode + TARGS=--synth + - TASK=ubuntu14+mcode + - TASK=ubuntu14+llvm-3.8 + - TASK=fedora30+mcode + - TASK=fedora30+llvm deploy: - &deploy-docker @@ -44,12 +44,12 @@ jobs: cache: directories: - gnat - env: IMAGE=macosx+mcode + env: TASK=macosx+mcode # Optionally, more macos jobs can be added. See list of available versions at https://docs.travis-ci.com/user/reference/osx/#macos-version # - <<: *osx # osx_image: xcode10 - - env: IMAGE="man" - script: ./dist/travis/man.sh + - env: TASK="man" + script: ./dist/man.sh deploy: - <<: *deploy-docker file: "doc/_build/man/ghdl.1" |