Build on pushes to main, or PRs against main
This commit is contained in:
parent
33acb8e091
commit
aeff0117c5
|
@ -1,6 +1,12 @@
|
|||
name: CI
|
||||
|
||||
on: [push, pull_request]
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
pull_request:
|
||||
branches:
|
||||
- main
|
||||
|
||||
jobs:
|
||||
|
||||
|
|
Loading…
Reference in New Issue