diff options
author | Doug Tangren <d.tangren@gmail.com> | 2021-01-10 02:11:35 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-10 02:11:35 -0500 |
commit | 03cc8c075f86f1bd9e2c4e29872a0e8b9072c7f0 (patch) | |
tree | b624695c438ccf04dcb7a9b52a7517aa7ee0c82b /.github | |
parent | 1a0b5a9b7710f4d17d975c46e3e44bb9cb4c0837 (diff) |
update gh actions ci and fix ci lint errors (#244)
* update gh actions ci and fix ci lint errors
* trigger also on master for now
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 80c2290..9797347 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,6 +1,22 @@ name: Main -on: push +on: + workflow_dispatch: + push: + paths-ignore: + - '*.md' + branches: + - main + - master + pull_request: + paths-ignore: + - '*.md' + branches: + - main + - master + +env: + CARGO_TERM_COLOR: always jobs: codestyle: @@ -75,13 +91,10 @@ jobs: cargo doc --no-deps echo "<meta http-equiv=refresh content=0;url=`echo ${{ github.repository }} | cut -d / -f 2 | tr '-' '_'`/index.html>" > target/doc/index.html - name: Publish - uses: docker://peaceiris/gh-pages:v2.3.1 - env: - PUBLISH_BRANCH: gh-pages - PUBLISH_DIR: ./target/doc - PERSONAL_TOKEN: ${{ secrets.GH_PAGES_TOKEN }} + uses: peaceiris/actions-gh-pages@v3 with: - emptyCommits: true + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./target/doc publish-crate: if: startsWith(github.ref, 'refs/tags/') |