[DO NOT MERGE] Enable dist-x86_64-linux with tests on PR CI

Author: Urgau

.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: {}

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