Skip to content

Commit

Permalink
Tidy ci-docs workflow comments
Browse files Browse the repository at this point in the history
[skip ci]
  • Loading branch information
ajstewart committed Mar 1, 2022
1 parent 283d801 commit 2aaed2a
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 3 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/ci-docs-dev.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name: ci docs dev

# a merged PR will trigger a push on master so merging to master is
# a merged PR will trigger a push on dev so merging to dev is
# included in the event below
on:
push:
Expand Down
2 changes: 0 additions & 2 deletions .github/workflows/ci-docs-release.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
name: ci docs release

# a merged PR will trigger a push on master so merging to master is
# included in the event below
on:
release:
types: [published]
Expand Down

0 comments on commit 2aaed2a

Please sign in to comment.