From cd70e2fd33b8d550595a4e641807bf07aecbb4d0 Mon Sep 17 00:00:00 2001 From: Urgau Date: Mon, 23 Oct 2023 17:07:14 +0200 Subject: [PATCH] [DO NOT MERGE] Enable dist-x86_64-linux with tests on PR CI --- .github/workflows/ci.yml | 4 ++++ src/ci/github-actions/ci.yml | 6 ++++++ 2 files changed, 10 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f91e6816ae426..9c5defd53db28 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -59,6 +59,10 @@ jobs: - name: x86_64-gnu-llvm-15 os: ubuntu-20.04-16core-64gb env: {} + - name: dist-x86_64-linux + env: + PR_CI_JOB: 0 + os: ubuntu-20.04-16core-64gb - name: x86_64-gnu-tools os: ubuntu-20.04-16core-64gb env: {} diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml index 2577682c57c67..701a5c48db232 100644 --- a/src/ci/github-actions/ci.yml +++ b/src/ci/github-actions/ci.yml @@ -333,6 +333,12 @@ jobs: - name: x86_64-gnu-llvm-15 <<: *job-linux-16c + - &dist-x86_64-linux + name: dist-x86_64-linux + env: + PR_CI_JOB: 0 + <<: *job-linux-16c + - name: x86_64-gnu-tools <<: *job-linux-16c