From 47c14f0de476cb8a4bf573e3d4b0874e559a3ffc Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 11:30:23 -0400 Subject: [PATCH 1/8] Add condition to test-stdlib and test-stdlib-golden to not run on push --- .github/workflows/ci-ubuntu.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index 9626bddcab..f48147e210 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -98,6 +98,8 @@ jobs: echo "AGDA_DEPLOY=true" >> "${GITHUB_OUTPUT}" fi + if [[ ]] + ######################################################################## ## CACHING ######################################################################## @@ -179,6 +181,7 @@ jobs: test-stdlib: needs: init runs-on: ubuntu-latest + if: ${{ github.event_name != 'push' }} steps: - name: Checkout uses: actions/checkout@v5 @@ -217,6 +220,7 @@ jobs: test-stdlib-golden: needs: init runs-on: ubuntu-latest + if: ${{ github.event_name != 'push' }} steps: - name: Checkout uses: actions/checkout@v5 From a0547cf1ec4fa6dc16321c37f8f2783d70626b8f Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 11:33:13 -0400 Subject: [PATCH 2/8] Fix typo --- .github/workflows/ci-ubuntu.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index f48147e210..65807efde2 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -98,8 +98,6 @@ jobs: echo "AGDA_DEPLOY=true" >> "${GITHUB_OUTPUT}" fi - if [[ ]] - ######################################################################## ## CACHING ######################################################################## From 6d430387992e0b64d7f005fa80bbded006102227 Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 13:13:04 -0400 Subject: [PATCH 3/8] [ temp ]: Add false condition to job to check 'needs' --- .github/workflows/ci-ubuntu.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index 65807efde2..4aa54ee052 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -218,7 +218,7 @@ jobs: test-stdlib-golden: needs: init runs-on: ubuntu-latest - if: ${{ github.event_name != 'push' }} + if: ${{ false }} steps: - name: Checkout uses: actions/checkout@v5 From 19438e01ed9e07457b84ff26eaf68bd65121f33f Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 13:22:59 -0400 Subject: [PATCH 4/8] Fix conditional 'needs' --- .github/workflows/ci-ubuntu.yml | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index 4aa54ee052..d6c09d2b26 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -218,7 +218,7 @@ jobs: test-stdlib-golden: needs: init runs-on: ubuntu-latest - if: ${{ false }} + if: ${{ github.event_name != 'push' }} steps: - name: Checkout uses: actions/checkout@v5 @@ -359,7 +359,17 @@ jobs: html-deploy: needs: [init, html-generate, test-stdlib-golden, test-stdlib] runs-on: ubuntu-latest + if: always() steps: + + # if either test jobs are skipped, 'needs' would normally skip + # this job.cancel-timeout-minutes.cancel-timeout-minutes. + # adding `if: always()` guarantees this job will run, but now + # checking the previous steps did in fact succeed has to be done manually + - name: Check Success + if: ${{ contains(needs.*.result, 'failure') }} + run: exit 1 + - name: Checkout uses: actions/checkout@v5 From 82652711e11ba553608ceaf7e0fc597e9fa9925a Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 13:35:58 -0400 Subject: [PATCH 5/8] [ temp ]: Add false condition to test changes work --- .github/workflows/ci-ubuntu.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index d6c09d2b26..b87d901d4b 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -218,7 +218,7 @@ jobs: test-stdlib-golden: needs: init runs-on: ubuntu-latest - if: ${{ github.event_name != 'push' }} + if: ${{ false }} steps: - name: Checkout uses: actions/checkout@v5 From 13d4a2c8b92e6707c544485b3a4d3cf236253589 Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 14:20:01 -0400 Subject: [PATCH 6/8] [ temp ]: Force a failure --- .github/workflows/ci-ubuntu.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index b87d901d4b..fa9d62e99e 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -181,6 +181,9 @@ jobs: runs-on: ubuntu-latest if: ${{ github.event_name != 'push' }} steps: + - name: fail + run: exit 1 + - name: Checkout uses: actions/checkout@v5 @@ -302,6 +305,7 @@ jobs: html-generate: needs: init runs-on: ubuntu-latest + if: ${{ false }} steps: - name: Checkout uses: actions/checkout@v5 From 59d26954764b5714075075767440b5baa3a866e3 Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 14:28:20 -0400 Subject: [PATCH 7/8] Revert "[ temp ]: Force a failure" This reverts commit 13d4a2c8b92e6707c544485b3a4d3cf236253589. --- .github/workflows/ci-ubuntu.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index fa9d62e99e..b87d901d4b 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -181,9 +181,6 @@ jobs: runs-on: ubuntu-latest if: ${{ github.event_name != 'push' }} steps: - - name: fail - run: exit 1 - - name: Checkout uses: actions/checkout@v5 @@ -305,7 +302,6 @@ jobs: html-generate: needs: init runs-on: ubuntu-latest - if: ${{ false }} steps: - name: Checkout uses: actions/checkout@v5 From 4c57ab87d112e7da3ce2b9dd7c6ea1594ce77fc3 Mon Sep 17 00:00:00 2001 From: Silas Hayes-Williams Date: Thu, 30 Jul 2026 14:28:22 -0400 Subject: [PATCH 8/8] Revert "[ temp ]: Add false condition to test changes work" This reverts commit 82652711e11ba553608ceaf7e0fc597e9fa9925a. --- .github/workflows/ci-ubuntu.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index b87d901d4b..d6c09d2b26 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -218,7 +218,7 @@ jobs: test-stdlib-golden: needs: init runs-on: ubuntu-latest - if: ${{ false }} + if: ${{ github.event_name != 'push' }} steps: - name: Checkout uses: actions/checkout@v5