]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7f66312 373a253)
Merge #1832
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Fri, 10 Feb 2023 09:05:28 +0000 (09:05 +0000)
committerGitHub <noreply@github.com>
Fri, 10 Feb 2023 09:05:28 +0000 (09:05 +0000)
1832: ci: Run commit format checker on push to `trying` branch r=CohenArthur a=CohenArthur

ChangeLog:

* .github/workflows/commit-format.yml: Run job on pushes to `trying`.

This should hopefully stop bors from timing out.

Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>

Trivial merge
Mirror of https://gcc.gnu.org/git/gcc.git