From f9ddce7d859a992005ce73d4de199f70abdd2872 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Fri, 24 Jul 2026 08:58:55 +0200 Subject: [PATCH] [CI] Update Nix toolbox --- .github/workflows/nix-action-rocq-9.1.yml | 336 ++++++++---- .github/workflows/nix-action-rocq-9.2.yml | 228 +++++--- .github/workflows/nix-action-rocq-master.yml | 534 ++++++++++++------- .nix/coq-nix-toolbox.nix | 2 +- 4 files changed, 733 insertions(+), 367 deletions(-) diff --git a/.github/workflows/nix-action-rocq-9.1.yml b/.github/workflows/nix-action-rocq-9.1.yml index ed14089c6f..9d75106916 100644 --- a/.github/workflows/nix-action-rocq-9.1.yml +++ b/.github/workflows/nix-action-rocq-9.1.yml @@ -10,8 +10,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -24,8 +25,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -74,8 +76,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -88,8 +91,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -139,8 +143,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -153,8 +158,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -207,8 +213,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -221,8 +228,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -271,8 +279,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -285,8 +294,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -336,8 +346,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -350,8 +361,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -408,8 +420,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -422,8 +435,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -472,8 +486,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -486,8 +501,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -536,8 +552,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -550,8 +567,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -600,8 +618,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -614,8 +633,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -664,8 +684,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -678,8 +699,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -732,8 +754,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -746,8 +769,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -796,8 +820,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -810,8 +835,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -860,8 +886,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -874,8 +901,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -923,8 +951,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -937,8 +966,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -983,8 +1013,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -997,8 +1028,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1047,8 +1079,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1061,8 +1094,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1111,8 +1145,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1125,8 +1160,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1175,8 +1211,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1189,8 +1226,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1243,8 +1281,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1257,8 +1296,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1307,8 +1347,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1321,8 +1362,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1375,8 +1417,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1389,8 +1432,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1439,8 +1483,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1453,8 +1498,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1504,8 +1550,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1518,8 +1565,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1572,8 +1620,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1586,8 +1635,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1636,8 +1686,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1650,8 +1701,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1699,8 +1751,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1713,8 +1766,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1772,8 +1826,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1786,8 +1841,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1849,8 +1905,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1863,8 +1920,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1927,8 +1985,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1941,8 +2000,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1998,8 +2058,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2012,8 +2073,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2065,8 +2127,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2079,8 +2142,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2130,8 +2194,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2144,8 +2209,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2199,8 +2265,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2213,8 +2280,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2276,8 +2344,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2290,8 +2359,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2355,8 +2425,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2369,8 +2440,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2434,8 +2506,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2448,8 +2521,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2512,8 +2586,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2526,8 +2601,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2585,8 +2661,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2599,8 +2676,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2653,8 +2731,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2667,8 +2746,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2717,8 +2797,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2731,8 +2812,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2781,8 +2863,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2795,8 +2878,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2845,8 +2929,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2859,8 +2944,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2909,8 +2995,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2923,8 +3010,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2971,8 +3059,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2985,8 +3074,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3025,8 +3115,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3039,8 +3130,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3081,8 +3173,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3095,8 +3188,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3145,8 +3239,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3159,8 +3254,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3209,8 +3305,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3223,8 +3320,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3273,8 +3371,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3287,8 +3386,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3336,8 +3436,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3350,8 +3451,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3396,8 +3498,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3410,8 +3513,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3460,8 +3564,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3474,8 +3579,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3524,8 +3630,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3538,8 +3645,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3591,8 +3699,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3605,8 +3714,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3651,8 +3761,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3665,8 +3776,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install diff --git a/.github/workflows/nix-action-rocq-9.2.yml b/.github/workflows/nix-action-rocq-9.2.yml index 63abf07381..bbc110cf12 100644 --- a/.github/workflows/nix-action-rocq-9.2.yml +++ b/.github/workflows/nix-action-rocq-9.2.yml @@ -10,8 +10,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -24,8 +25,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -74,8 +76,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -88,8 +91,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -139,8 +143,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -153,8 +158,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -207,8 +213,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -221,8 +228,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -271,8 +279,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -285,8 +294,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -335,8 +345,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -349,8 +360,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -399,8 +411,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -413,8 +426,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -463,8 +477,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -477,8 +492,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -527,8 +543,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -541,8 +558,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -591,8 +609,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -605,8 +624,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -655,8 +675,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -669,8 +690,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -719,8 +741,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -733,8 +756,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -782,8 +806,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -796,8 +821,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -842,8 +868,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -856,8 +883,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -906,8 +934,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -920,8 +949,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -970,8 +1000,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -984,8 +1015,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1034,8 +1066,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1048,8 +1081,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1098,8 +1132,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1112,8 +1147,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1162,8 +1198,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1176,8 +1213,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1226,8 +1264,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1240,8 +1279,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1290,8 +1330,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1304,8 +1345,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1355,8 +1397,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1369,8 +1412,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1423,8 +1467,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1437,8 +1482,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1487,8 +1533,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1501,8 +1548,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1551,8 +1599,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1565,8 +1614,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1613,8 +1663,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1627,8 +1678,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1667,8 +1719,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1681,8 +1734,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1723,8 +1777,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1737,8 +1792,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1787,8 +1843,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1801,8 +1858,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1851,8 +1909,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1865,8 +1924,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1915,8 +1975,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1929,8 +1990,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1978,8 +2040,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1992,8 +2055,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2038,8 +2102,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2052,8 +2117,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2100,8 +2166,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2114,8 +2181,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2156,8 +2224,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2170,8 +2239,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2220,8 +2290,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2234,8 +2305,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2287,8 +2359,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2301,8 +2374,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2347,8 +2421,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2361,8 +2436,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install diff --git a/.github/workflows/nix-action-rocq-master.yml b/.github/workflows/nix-action-rocq-master.yml index 5a3341700d..efade6a806 100644 --- a/.github/workflows/nix-action-rocq-master.yml +++ b/.github/workflows/nix-action-rocq-master.yml @@ -10,8 +10,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -24,8 +25,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -74,8 +76,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -88,8 +91,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -139,8 +143,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -153,8 +158,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -207,8 +213,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -221,8 +228,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -272,8 +280,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -286,8 +295,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -345,8 +355,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -359,8 +370,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -413,8 +425,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -427,8 +440,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -477,8 +491,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -491,8 +506,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -541,8 +557,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -555,8 +572,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -605,8 +623,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -619,8 +638,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -673,8 +693,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -687,8 +708,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -737,8 +759,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -751,8 +774,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -801,8 +825,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -815,8 +840,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -865,8 +891,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -879,8 +906,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -933,8 +961,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -947,8 +976,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -998,8 +1028,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1012,8 +1043,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1065,8 +1097,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1079,8 +1112,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1124,8 +1158,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1138,8 +1173,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1184,8 +1220,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1198,8 +1235,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1248,8 +1286,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1262,8 +1301,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1312,8 +1352,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1326,8 +1367,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1376,8 +1418,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1390,8 +1433,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1440,8 +1484,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1454,8 +1499,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1504,8 +1550,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1518,8 +1565,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1572,8 +1620,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1586,8 +1635,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1638,8 +1688,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1652,8 +1703,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1710,8 +1762,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1724,8 +1777,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1778,8 +1832,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1792,8 +1847,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1842,8 +1898,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1856,8 +1913,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1906,8 +1964,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1920,8 +1979,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -1970,8 +2030,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -1984,8 +2045,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2035,8 +2097,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2049,8 +2112,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2105,8 +2169,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2119,8 +2184,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2177,8 +2243,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2191,8 +2258,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2241,8 +2309,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2255,8 +2324,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2305,8 +2375,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2319,8 +2390,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2369,8 +2441,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2383,8 +2456,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2433,8 +2507,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2447,8 +2522,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2497,8 +2573,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2511,8 +2588,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2562,8 +2640,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2576,8 +2655,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2630,8 +2710,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2644,8 +2725,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2694,8 +2776,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2708,8 +2791,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2762,8 +2846,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2776,8 +2861,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2841,8 +2927,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2855,8 +2942,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2920,8 +3008,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -2934,8 +3023,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -2995,8 +3085,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3009,8 +3100,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3059,8 +3151,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3073,8 +3166,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3126,8 +3220,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3140,8 +3235,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3190,8 +3286,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3204,8 +3301,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3260,8 +3358,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3274,8 +3373,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3333,8 +3433,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3347,8 +3448,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3410,8 +3512,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3424,8 +3527,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3492,8 +3596,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3506,8 +3611,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3583,8 +3689,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3597,8 +3704,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3663,8 +3771,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3677,8 +3786,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3747,8 +3857,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3761,8 +3872,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3830,8 +3942,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3844,8 +3957,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3911,8 +4025,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -3925,8 +4040,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -3998,8 +4114,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4012,8 +4129,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4078,8 +4196,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4092,8 +4211,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4162,8 +4282,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4176,8 +4297,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4245,8 +4367,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4259,8 +4382,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4321,8 +4445,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4335,8 +4460,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4388,8 +4514,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4402,8 +4529,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4466,8 +4594,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4480,8 +4609,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4539,8 +4669,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4553,8 +4684,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4607,8 +4739,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4621,8 +4754,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4671,8 +4805,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4685,8 +4820,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4735,8 +4871,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4749,8 +4886,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4799,8 +4937,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4813,8 +4952,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4863,8 +5003,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4877,8 +5018,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4931,8 +5073,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -4945,8 +5088,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -4993,8 +5137,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5007,8 +5152,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5047,8 +5193,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5061,8 +5208,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5104,8 +5252,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5118,8 +5267,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5172,8 +5322,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5186,8 +5337,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5237,8 +5389,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5251,8 +5404,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5305,8 +5459,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5319,8 +5474,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5370,8 +5526,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5384,8 +5541,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5438,8 +5596,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5452,8 +5611,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5502,8 +5662,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5516,8 +5677,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5565,8 +5727,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5579,8 +5742,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5624,8 +5788,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5638,8 +5803,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5684,8 +5850,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5698,8 +5865,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5748,8 +5916,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5762,8 +5931,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5812,8 +5982,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5826,8 +5997,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5877,8 +6049,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5891,8 +6064,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -5944,8 +6118,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -5958,8 +6133,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install @@ -6004,8 +6180,9 @@ jobs: github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.target_commit }} - name: Determine which commit to test @@ -6018,8 +6195,9 @@ jobs: }}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\ \ fi\nfi\n" - name: Git checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: + allow-unsafe-pr-checkout: true fetch-depth: 0 ref: ${{ env.tested_commit }} - name: Cachix install diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix index 3784b990ca..65b0398fbd 100644 --- a/.nix/coq-nix-toolbox.nix +++ b/.nix/coq-nix-toolbox.nix @@ -1 +1 @@ -"a78d4eb1c069436d72361fbcc92d764c17b4851e" +"be5f4606e338f3ae99e4cfd2be51a8e871ddd390"