Skip to content
This repository has been archived by the owner on Jul 13, 2022. It is now read-only.

chore: sync workflows #25

Merged
merged 1 commit into from Oct 8, 2021
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
3 changes: 2 additions & 1 deletion .github/workflow-settings.json
Expand Up @@ -25,5 +25,6 @@
"Using version",
"ci-helper",
"tests/bootstrap.php"
]
],
"CHANGE_TEMPLATE": "- [ ] ${TITLE} (#${NUMBER}) @${AUTHOR}"
}
6 changes: 3 additions & 3 deletions .github/workflows/ci.yml
@@ -1,5 +1,8 @@
on: push

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}

name: CI

jobs:
Expand All @@ -10,9 +13,6 @@ jobs:
env:
LINT: 1
steps:
- uses: technote-space/auto-cancel-redundant-workflow@v1
with:
EXCLUDE_MERGED: 'true'
- name: Set running flag
run: echo "RUNNING=1" >> $GITHUB_ENV
- uses: actions/checkout@v2
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/pr-updated.yml
Expand Up @@ -32,6 +32,7 @@ jobs:
TITLE: ${{ env.PR_BODY_TITLE }}
LINK_ISSUE_KEYWORD: ${{ (startsWith(github.head_ref, 'release/') && 'closes') || '' }}
FILTER_PR: true
CHANGE_TEMPLATE: ${{ env.CHANGE_TEMPLATE }}

manageRelease:
name: Manage release
Expand Down