From b617932dc2142acbcc059f45fce7a9a077d66217 Mon Sep 17 00:00:00 2001 From: Daniel Hofstetter Date: Thu, 7 May 2026 10:08:54 +0200 Subject: [PATCH 1/3] Make test_compare_test_results.py executable --- util/test_compare_test_results.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 util/test_compare_test_results.py diff --git a/util/test_compare_test_results.py b/util/test_compare_test_results.py old mode 100644 new mode 100755 From 4366fdacacd77d80ff9a46beac4981a12fe2d655 Mon Sep 17 00:00:00 2001 From: Daniel Hofstetter Date: Thu, 7 May 2026 10:19:13 +0200 Subject: [PATCH 2/3] Add newline at the end of two files --- .github/workflows/GnuComment.yml | 2 +- .github/workflows/ignore-intermittent.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/GnuComment.yml b/.github/workflows/GnuComment.yml index 016d6c45..49f181fb 100644 --- a/.github/workflows/GnuComment.yml +++ b/.github/workflows/GnuComment.yml @@ -77,4 +77,4 @@ jobs: }); } else { console.log('Comment content too short, skipping'); - } \ No newline at end of file + } diff --git a/.github/workflows/ignore-intermittent.txt b/.github/workflows/ignore-intermittent.txt index 9e812e9f..7889f3d3 100644 --- a/.github/workflows/ignore-intermittent.txt +++ b/.github/workflows/ignore-intermittent.txt @@ -4,4 +4,4 @@ # Add test names that are known to be flaky or environment-dependent # Example: # basic_substitution -# line_address_test \ No newline at end of file +# line_address_test From f2871d26e47cd4c1d6deb47bb5edc0962800e81b Mon Sep 17 00:00:00 2001 From: Daniel Hofstetter Date: Thu, 7 May 2026 10:30:47 +0200 Subject: [PATCH 3/3] Remove trailing whitespace --- .github/workflows/GnuComment.yml | 10 +++++----- .github/workflows/GnuTests.yml | 2 +- Cargo.toml | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/.github/workflows/GnuComment.yml b/.github/workflows/GnuComment.yml index 49f181fb..909e2dda 100644 --- a/.github/workflows/GnuComment.yml +++ b/.github/workflows/GnuComment.yml @@ -32,12 +32,12 @@ jobs: var matchArtifact = artifacts.data.artifacts.filter((artifact) => { return artifact.name == "comment" })[0]; - + if (!matchArtifact) { console.log('No comment artifact found'); return; } - + var download = await github.rest.actions.downloadArtifact({ owner: context.repo.owner, repo: context.repo.repo, @@ -54,7 +54,7 @@ jobs: github-token: ${{ secrets.GITHUB_TOKEN }} script: | var fs = require('fs'); - + // Check if files exist if (!fs.existsSync('./NR')) { console.log('No NR file found, skipping comment'); @@ -64,10 +64,10 @@ jobs: console.log('No result.txt file found, skipping comment'); return; } - + var issue_number = Number(fs.readFileSync('./NR')); var content = fs.readFileSync('./result.txt'); - + if (content.toString().trim().length > 7) { // 7 because we have backquote + \n await github.rest.issues.createComment({ owner: context.repo.owner, diff --git a/.github/workflows/GnuTests.yml b/.github/workflows/GnuTests.yml index 38077e37..25436336 100644 --- a/.github/workflows/GnuTests.yml +++ b/.github/workflows/GnuTests.yml @@ -261,7 +261,7 @@ jobs: echo "ONLY_INTERMITTENT=true" >> $GITHUB_ENV echo "::notice ::No new test failures detected" fi - + - name: Upload comparison log (for GnuComment workflow) if: success() || failure() uses: actions/upload-artifact@v7 diff --git a/Cargo.toml b/Cargo.toml index d0db7f44..1ac1b3a0 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -111,7 +111,7 @@ harness = false lto = true panic = "abort" # should be dropped to 1 for binary size without performance drop -codegen-units = 7 +codegen-units = 7 # A release-like profile that is as small as possible. [profile.release-small]