chore: use local workflow instead of repo workflow (#858)
Signed-off-by: Vinayak Kulkarni <19776877+vinayakkulkarni@users.noreply.github.com>
This commit is contained in:
parent
13eeeaffad
commit
842e01fac7
1 changed files with 3 additions and 3 deletions
6
.github/workflows/pipeline.yml
vendored
6
.github/workflows/pipeline.yml
vendored
|
@ -26,12 +26,12 @@ jobs:
|
||||||
name: 'CI'
|
name: 'CI'
|
||||||
needs:
|
needs:
|
||||||
- extract-branch
|
- extract-branch
|
||||||
uses: maptiler/tileserver-gl/.github/workflows/ci.yml@master
|
uses: ./.github/workflows/ci.yml
|
||||||
ct:
|
ct:
|
||||||
name: 'CT'
|
name: 'CT'
|
||||||
needs:
|
needs:
|
||||||
- extract-branch
|
- extract-branch
|
||||||
uses: maptiler/tileserver-gl/.github/workflows/ct.yml@master
|
uses: ./.github/workflows/ct.yml
|
||||||
automerger:
|
automerger:
|
||||||
name: 'Automerge Dependabot PRs'
|
name: 'Automerge Dependabot PRs'
|
||||||
needs:
|
needs:
|
||||||
|
@ -40,4 +40,4 @@ jobs:
|
||||||
- extract-branch
|
- extract-branch
|
||||||
if: >
|
if: >
|
||||||
github.event_name == 'pull_request' && github.event.pull_request.user.login == 'dependabot[bot]'
|
github.event_name == 'pull_request' && github.event.pull_request.user.login == 'dependabot[bot]'
|
||||||
uses: maptiler/tileserver-gl/.github/workflows/automerger.yml@master
|
uses: ./.github/workflows/automerger.yml
|
||||||
|
|
Loading…
Reference in a new issue