Merge pull request #149 from long2ice/pr_is_not_push

CI: don't run this workflow twice on a PR
This commit is contained in:
Martijn Pieters
2023-05-15 17:25:29 +01:00
committed by GitHub

View File

@@ -1,5 +1,12 @@
name: ci
on: [ push, pull_request ]
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
ci:
strategy: