From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id ABFE23857817; Fri, 29 Jul 2022 14:44:57 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ABFE23857817 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Thomas Schwinge To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/rust/master] Merge #1402 X-Act-Checkin: gcc X-Git-Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: 0632b1aa5f0ea1d0c9c4411e9ff3d05336736fbb X-Git-Newrev: 7f1685d7f60c29eeabbd3c556428b67142201df2 Message-Id: <20220729144457.ABFE23857817@sourceware.org> Date: Fri, 29 Jul 2022 14:44:57 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 29 Jul 2022 14:44:57 -0000 https://gcc.gnu.org/g:7f1685d7f60c29eeabbd3c556428b67142201df2 commit 7f1685d7f60c29eeabbd3c556428b67142201df2 Merge: 0632b1aa5f0 2a4b58c9b71 Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> Date: Fri Jul 29 11:18:16 2022 +0000 Merge #1402 1402: CI Improvements and fixes r=philberty a=liushuyu - CI: fix Remark check (fix #1340) Co-authored-by: liushuyu Diff: .github/workflows/Remark.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-)