Don't run push CI on anything other than master
This commit is contained in:
parent
3166dcd51d
commit
a93f659d7c
1 changed files with 5 additions and 1 deletions
|
|
@ -1,5 +1,9 @@
|
|||
name: CI
|
||||
on: [push, pull_request]
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- master
|
||||
pull_request:
|
||||
|
||||
env:
|
||||
CARGO_TERM_VERBOSE: true
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue