aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArthur Cohen <arthur.cohen@embecosm.com>2023-02-01 19:11:32 +0100
committerCohenArthur <cohenarthur.dev@gmail.com>2023-02-05 09:12:09 +0100
commit7f66312db45e3e157123108934f6cf0c71a1c235 (patch)
treeae2603134ae0b672116491c9ac34ff5192b6f600
parent8f1fce4916520b7ee9a97d2bb4f25d25fd94a626 (diff)
downloadgcc-7f66312db45e3e157123108934f6cf0c71a1c235.zip
gcc-7f66312db45e3e157123108934f6cf0c71a1c235.tar.gz
gcc-7f66312db45e3e157123108934f6cf0c71a1c235.tar.bz2
ci: Require commits check to pass for bors to merge and fix CI names
ChangeLog: * .github/bors.toml: Add commit checkers. * .github/workflows/commit-format.yml: Rename commit checker jobs.
-rw-r--r--.github/bors.toml5
-rw-r--r--.github/workflows/commit-format.yml6
2 files changed, 7 insertions, 4 deletions
diff --git a/.github/bors.toml b/.github/bors.toml
index 921cf65..8c4607e 100644
--- a/.github/bors.toml
+++ b/.github/bors.toml
@@ -1,7 +1,10 @@
status = [
"build-and-check-ubuntu-64bit",
"build-and-check-ubuntu-32bit",
- "build-and-check-gcc-48"
+ "build-and-check-gcc-48",
+ "check-commit-changelogs",
+ "check-commit-prefixes",
+ "check-commit-signoffs",
]
# Uncomment this to use a two hour timeout.
# The default is one hour.
diff --git a/.github/workflows/commit-format.yml b/.github/workflows/commit-format.yml
index 66d0e19..2e551fd 100644
--- a/.github/workflows/commit-format.yml
+++ b/.github/workflows/commit-format.yml
@@ -7,7 +7,7 @@ on:
- gcc-patch-dev
jobs:
- check_commit_changelogs:
+ check-commit-changelogs:
runs-on: ubuntu-latest
name: check-changelogs
@@ -28,7 +28,7 @@ jobs:
run: |
python3 contrib/gcc-changelog/git_check_commit.py origin/${{ github.event.pull_request.base.ref }}..${{ github.event.pull_request.head.sha }}
- check_commit_prefixes:
+ check-commit-prefixes:
runs-on: ubuntu-latest
name: check-gccrs-prefix
@@ -54,7 +54,7 @@ jobs:
done
exit $retval
- check_commit_signoff:
+ check-commit-signoff:
runs-on: ubuntu-latest
name: check-commit-signoff