Update CI workflow to trigger on pull requests and pushes

This commit is contained in:
Maarten van Diemen
2025-11-24 13:22:20 +01:00
committed by GitHub
parent 9170087739
commit 2d2f67ec42

View File

@@ -1,7 +1,12 @@
name: Continuous Integration
on:
workflow_dispatch:
pull_request:
branches:
- main
push:
branches:
- main
permissions:
contents: read