forked from hugegraph/hugegraph-sync
Merge pull request #2646 from apache/fixup-commons
chore(ci): disable merge button & rename ci job name
This commit is contained in:
commit
f88fad4711
|
|
@ -28,8 +28,7 @@ github:
|
|||
del_branch_on_merge: true
|
||||
#labels:
|
||||
enabled_merge_buttons:
|
||||
# TODO: disable it after common merged
|
||||
merge: true
|
||||
merge: false
|
||||
rebase: true
|
||||
squash: true
|
||||
protected_branches:
|
||||
|
|
|
|||
|
|
@ -9,8 +9,7 @@ on:
|
|||
pull_request:
|
||||
|
||||
jobs:
|
||||
# TODO: rename to build-server later
|
||||
build:
|
||||
build-server:
|
||||
# TODO: we need test & replace it to ubuntu-24.04 or ubuntu-latest
|
||||
runs-on: ubuntu-20.04
|
||||
env:
|
||||
|
|
|
|||
Loading…
Reference in New Issue