Only build documentation for main branch push

This commit is contained in:
Björn Dahlgren 2023-12-17 18:29:06 +01:00
parent c75e20e58f
commit ee95291418

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: