diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-21 22:32:23 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-04-20 09:35:39 +0200 |
| commit | 432c4a80e9b03505f73e85828bd152a5efc2f98b (patch) | |
| tree | 260208e20b410687f339c7608351732e5c82e22a /src/ci/github-actions | |
| parent | 64795ecb871c4905e0a3530ac74a39565b83bc47 (diff) | |
Remove the `add_dummy_commit.sh` hack
The new git tests should be enough to check this scenario. We should ideally not be creating dummy commits on CI.
Diffstat (limited to 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/jobs.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml index cb2bec5a9df..950a75721c4 100644 --- a/src/ci/github-actions/jobs.yml +++ b/src/ci/github-actions/jobs.yml @@ -108,8 +108,6 @@ pr: - name: x86_64-gnu-llvm-19 env: ENABLE_GCC_CODEGEN: "1" - # We are adding (temporarily) a dummy commit on the compiler - READ_ONLY_SRC: "0" DOCKER_SCRIPT: x86_64-gnu-llvm.sh <<: *job-linux-16c - name: x86_64-gnu-tools |