diff options
author | w0rp <devw0rp@gmail.com> | 2021-01-27 20:11:46 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2021-01-27 20:11:46 +0000 |
commit | 82c8e3a3a3740b520c748ff181e5c29f508b8455 (patch) | |
tree | 955e3b1f10ccf7110f7a56178d1660e225064698 /.github | |
parent | bafe1c0fd62ee8173fdbc04a04caf59e3adeabc9 (diff) | |
download | ale-82c8e3a3a3740b520c748ff181e5c29f508b8455.zip |
Remove last traces of Travis CI
* The build status badge is now for GitHub Actions.
* The documentation now mentions GitHub instead.
* Warnings in the YAML file have been fixed or ignored.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 225512d9..42add447 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,11 +1,12 @@ +--- name: CI -on: +on: # yamllint disable-line rule:truthy push: - branches: [ master ] + branches: [ master ] # yamllint disable-line rule:brackets tags: - /^v\d+\.\d+\.(x|\d+)$/ pull_request: - branches: [ master ] + branches: [ master ] # yamllint disable-line rule:brackets jobs: build_image: |