Merge pull request #11 from ThomasRubini/ci_triggers

This commit is contained in:
Thomas Rubini 2022-12-12 22:37:45 +01:00 committed by GitHub
commit c4901e80ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,6 +3,8 @@ name: Build
on:
push:
branches: ['*']
pull_request:
workflow_dispatch:
jobs:
build: