Skip to content

Commit

Permalink
CI: Avoid duplicate builds for PRs
Browse files Browse the repository at this point in the history
We only need to build pushes to master
  • Loading branch information
TingPing committed Feb 13, 2024
1 parent 9e73bb9 commit e504460
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@ name: Docs

on:
push:
branches:
- master
pull_request:

permissions:
Expand Down

0 comments on commit e504460

Please sign in to comment.