Merge pull request #738 from Dahlgren/ci/build-documentation-main

Only build documentation for main branch push
This commit is contained in:
Pax1601 2023-12-20 16:32:04 +01:00 committed by GitHub
commit 6abf7f059a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,10 @@
# ci.yml file for GitHub Actions
name: Documentation
on: [push]
on:
push:
branches:
- main
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions: