Skip to content

Commit

Permalink
Add pr-merge workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
Nicoretti committed Jun 7, 2024
1 parent d340eb1 commit d93739e
Showing 1 changed file with 14 additions and 0 deletions.
14 changes: 14 additions & 0 deletions .github/workflows/pr-merge.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
name: PR-Merge

on:
push:
branches:
- 'main'
- 'master'

jobs:

publish-docs:
name: Publish Documentation
uses: ./.github/workflows/gh-pages.yml

0 comments on commit d93739e

Please sign in to comment.