Partially revert "fix the github pipeline"

This reverts parts of commit e78346ca9b.

Tbh no idea why I removed the triggers.
This commit is contained in:
Mirek Kratochvil 2022-05-09 20:58:22 +02:00
parent f7934e2d89
commit b733d25732

View File

@ -1,7 +1,10 @@
name: CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
workflow_dispatch: