GH Pages fix (#4026)

* GH Pages fix

* Minor fix
This commit is contained in:
Luqman
2023-01-20 14:12:58 +01:00
committed by GitHub
parent 730ee78312
commit f0775cd245

View File

@@ -1,16 +1,13 @@
name: Deploy to GitHub Pages
on:
pull_request:
push:
branches:
- main
types: [closed]
jobs:
generate:
name: Generate and Deploy documentation
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- name: Git checkout
@@ -77,3 +74,4 @@ jobs:
# You can swap them out with your own user credentials.
user_name: github-actions[bot]
user_email: 41898282+github-actions[bot]@users.noreply.github.com