Skip to content

Commit

Permalink
Merge branch '0.2' into gagb-patch-1
Browse files Browse the repository at this point in the history
  • Loading branch information
jackgerrits authored Oct 14, 2024
2 parents 729a6bb + 0e37b34 commit 46eb339
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions .github/workflows/deploy-website.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,23 +3,14 @@ name: docs
on:
pull_request:
branches: ["0.2"]
paths:
- "autogen/*"
- "website/*"
- ".github/workflows/deploy-website.yml"
push:
branches: ["0.2"]
paths:
- "autogen/*"
- "website/*"
- ".github/workflows/deploy-website.yml"
workflow_dispatch:
permissions:
id-token: write
pages: write
jobs:
checks:
if: github.event_name != 'push'
runs-on: ubuntu-latest
defaults:
run:
Expand Down

0 comments on commit 46eb339

Please sign in to comment.