]> gcc.gnu.org Git - gcc.git/commit
Merge #1402
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Fri, 29 Jul 2022 11:18:16 +0000 (11:18 +0000)
committerGitHub <noreply@github.com>
Fri, 29 Jul 2022 11:18:16 +0000 (11:18 +0000)
commit7f1685d7f60c29eeabbd3c556428b67142201df2
treeb8d79fdf8a6ae86d61ba87e17aca8f02f12e8ad7
parent0632b1aa5f0ea1d0c9c4411e9ff3d05336736fbb
parent2a4b58c9b7199e1c2f2e84489a7481a5ec64d472
Merge #1402

1402: CI Improvements and fixes r=philberty a=liushuyu

- CI: fix Remark check (fix #1340)

Co-authored-by: liushuyu <liushuyu011@gmail.com>
This page took 0.06099 seconds and 6 git commands to generate.