ci: Run CI Workflow on push to main and allow to trigger it manually

This commit is contained in:
Armel Soro
2024-07-18 00:17:27 +02:00
parent fc2ffce43a
commit 14b15f281c

View File

@@ -1,8 +1,13 @@
name: CI name: CI
on: on:
# workflow_dispatch so that it can be triggered manually if needed
workflow_dispatch:
pull_request: pull_request:
branches: [ main ] branches: [ main ]
push:
branches: [ main ]
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.event.number }} group: ${{ github.workflow }}-${{ github.event.number }}