Better github CI configuration.

This commit is contained in:
John Livingston 2024-10-08 17:28:30 +02:00
parent 1e97193030
commit b871d873c6
No known key found for this signature in database
GPG Key ID: B17B5640CE66CDBC

View File

@ -9,7 +9,7 @@ on:
branches: branches:
- main - main
pull_request: pull_request:
types: [opened, reopened] types: [assigned, opened, synchronize, reopened]
jobs: jobs:
build: build: