diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-02-10 09:05:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-10 09:05:28 +0000 |
commit | d4cce9835097f31d0e32fe47a2644dca4af9c1a3 (patch) | |
tree | 6fa35b906c136e4f019497b9fd186b988b16dffc /gcc | |
parent | 7f66312db45e3e157123108934f6cf0c71a1c235 (diff) | |
parent | 373a25382c2c2ae96799bb64762b8522b3de3b54 (diff) | |
download | gcc-d4cce9835097f31d0e32fe47a2644dca4af9c1a3.zip gcc-d4cce9835097f31d0e32fe47a2644dca4af9c1a3.tar.gz gcc-d4cce9835097f31d0e32fe47a2644dca4af9c1a3.tar.bz2 |
Merge #1832
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>
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions