diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-10-31 11:29:29 +0100 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-10-31 11:29:29 +0100 |
| commit | 3036f4f668cb5fe0abb0788034b46599a48fc1b6 (patch) | |
| tree | 1fb52197f81c80b94779c93c0d381d42a16621c4 /src/ci | |
| parent | 4d296eabe4c5cfbce9bb68e6221bca2165aae97b (diff) | |
CI: use free runners for x86_64-gnu-tools and x86_64-rust-for-linux
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/github-actions/jobs.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml index a401092a3a7..32ee63843a3 100644 --- a/src/ci/github-actions/jobs.yml +++ b/src/ci/github-actions/jobs.yml @@ -232,7 +232,7 @@ auto: # Tests integration with Rust for Linux. # Builds stage 1 compiler and tries to compile a few RfL examples with it. - image: x86_64-rust-for-linux - <<: *job-linux-8c + <<: *job-linux-4c - image: x86_64-gnu <<: *job-linux-4c @@ -280,7 +280,7 @@ auto: - image: x86_64-gnu-tools env: DEPLOY_TOOLSTATES_JSON: toolstates-linux.json - <<: *job-linux-8c + <<: *job-linux-4c #################### # macOS Builders # |