Kai Lueke dd70d0d5e0 .github: Run CI workflow only for PR events ...

Building for the branch push event causes two builds per PR and is not
needed anyway (we have nightly builds for the main branch).
Only consider PR events to trigger the CI build.

2022-07-13 18:19:21 +02:00

..

ci.yaml

.github: Run CI workflow only for PR events

2022-07-13 18:19:21 +02:00

dispatch-kola-tests.yaml

Remove customizations for now

2022-07-13 18:15:59 +02:00

mantle-releases-main.yml

Run CI container pipeline kola tests with the new mantle image

2022-04-20 19:13:02 +09:00

run-kola-tests.yaml

Update kola test workflow

2022-07-13 18:15:59 +02:00