ci: fix CI trigger - run on push too, remove duplicate
This commit is contained in:
1 parent
91357aca3b
commit
84f64b6615
2 files changed
+4
-14
No files matched your search
@@ -1,8 +1,12 @@
|
||||
name: CI
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
pull_request:
|
||||
branches:
|
||||
- main
|
||||
workflow_dispatch:
|
||||
|
||||
jobs:
|
||||
check:
|
||||
|
||||
Reference in new issue
Block a user