PRs can't publish the docs

This commit is contained in:
Nicolas Stalder
2021-03-19 01:29:02 +01:00
committed by Nicolas Stalder
parent f598fc123c
commit 4d55f665aa
2 changed files with 27 additions and 8 deletions
+6 -8
View File
@@ -1,6 +1,10 @@
name: CI
on: [push, pull_request]
on:
push:
branches:
- main
pull_request:
jobs:
build:
@@ -8,15 +12,9 @@ jobs:
steps:
- uses: actions/checkout@master
- name: Build
run: cargo build --verbose
- name: Run tests
run: cargo test --verbose
- name: Build Documentation
run: cargo doc --no-deps
- name: Deploy Docs
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc
+21
View File
@@ -0,0 +1,21 @@
name: Docs
on:
push:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- name: Build Documentation
run: cargo doc --no-deps
- name: Deploy Docs
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc