Merge pull request #281 from numtide/dependabot/github_actions/peaceiris/actions-gh-pages-4

build(deps): bump peaceiris/actions-gh-pages from 3 to 4
This commit is contained in:
Jörg Thalheim 2024-05-02 13:08:56 +02:00 committed by GitHub
commit 0a285d3d33
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 7 deletions

View File

@ -30,7 +30,7 @@ jobs:
echo "result=$(readlink ./result)" >> $GITHUB_OUTPUT
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
uses: peaceiris/actions-gh-pages@v4
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}

View File

@ -1,22 +1,19 @@
queue_rules:
- name: default
merge_conditions:
- check-success=Evaluate flake.nix
- check-success=buildbot/nix-eval
- check-success=build (macos-latest)
- check-success=build (ubuntu-latest)
- check-success=build_and_test (macos-latest)
- check-success=build_and_test (ubuntu-latest)
- check-success=build_and_test (windows-2019)
- check-success=clippy
- check-success=clippy_check
- check-success=devShell default [x86_64-linux]
- check-success=gh-pages
- check-success=package default [x86_64-linux]
- check-success=package docs [x86_64-linux]
defaults:
actions:
queue:
allow_merging_configuration_change: true
method: rebase
merge_method: rebase
pull_request_rules:
- name: merge using the merge queue
conditions: