Skip to content

Commit

Permalink
fixup
Browse files Browse the repository at this point in the history
  • Loading branch information
tesuji committed May 12, 2024
1 parent 467f5e6 commit 60d6a6f
Showing 1 changed file with 16 additions and 13 deletions.
29 changes: 16 additions & 13 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,18 +89,7 @@ jobs:
- uses: actions/checkout@v4
- run: cargo fmt -- --check

deploy:
# if: github.event_name != 'pull_request' && github.event.ref == 'refs/heads/master'
if: github.event_name != 'pull_request'
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
# Deploy to the github-pages environment
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
# needs: [build]
rustdoc:
runs-on: windows-latest
steps:
- name: Before checking out source and change \n -> \r\n
Expand All @@ -113,11 +102,25 @@ jobs:
rustup default nightly
- run: cargo doc --all --no-deps # --document-private-items
- run: echo '<meta http-equiv=refresh content=0;url=junction/index.html>' > target/doc/index.html

- name: Upload artifact
uses: actions/upload-artifact@v4
with:
path: target/doc

deploy:
# if: github.event_name != 'pull_request' && github.event.ref == 'refs/heads/master'
if: github.event_name != 'pull_request'
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
# Deploy to the github-pages environment
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
needs: [rustdoc]
runs-on: windows-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
Expand Down

0 comments on commit 60d6a6f

Please sign in to comment.