Rename default git branch from develop to main (#217)
This commit is contained in:
committed by
GitHub
parent
24b035008c
commit
8b896ab4de
@@ -3,7 +3,7 @@ name: CI
|
||||
on:
|
||||
pull_request: {}
|
||||
push:
|
||||
branches: develop
|
||||
branches: main
|
||||
|
||||
env:
|
||||
CARGO_INCREMENTAL: 0
|
||||
|
||||
Reference in New Issue
Block a user