From 9b4fe06970b013e4874566b5003c28b98142437e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 28 Aug 2026 00:02:19 +0000 Subject: [PATCH] chore(deps): bump the actions group with 3 updates Bumps the actions group with 3 updates: [actions/checkout](https://github.com/actions/checkout), [denoland/setup-deno](https://github.com/denoland/setup-deno) and [actions/cache](https://github.com/actions/cache). Updates `actions/checkout` from 4.1.1 to 7.0.1 - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v4.1.1...3d3c42e5aac5ba805825da76410c181273ba90b1) Updates `denoland/setup-deno` from 1.5.1 to 2.0.5 - [Release notes](https://github.com/denoland/setup-deno/releases) - [Commits](https://github.com/denoland/setup-deno/compare/5e01c016a857a4dbb5afe9d0f9733cd472cba985...22d081ff2d3a40755e97629de92e3bcbfa7cf2ed) Updates `actions/cache` from 4.1.2 to 6.1.0 - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md) - [Commits](https://github.com/actions/cache/compare/6849a6489940f00c2f30c0fb92c6274307ccb58a...55cc8345863c7cc4c66a329aec7e433d2d1c52a9) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: 7.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions - dependency-name: denoland/setup-deno dependency-version: 2.0.5 dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions - dependency-name: actions/cache dependency-version: 6.1.0 dependency-type: direct:production update-type: version-update:semver-major dependency-group: actions ... Signed-off-by: dependabot[bot] --- .github/workflows/6scm-sync.yml | 2 +- .github/workflows/a2ml-validation.yml | 4 ++-- .github/workflows/contractiles-a2ml.yml | 2 +- .github/workflows/fuzzing.yml | 4 ++-- .github/workflows/idris2-tests.yml | 4 ++-- .github/workflows/rescript-tests.yml | 6 +++--- 6 files changed, 11 insertions(+), 11 deletions(-) diff --git a/.github/workflows/6scm-sync.yml b/.github/workflows/6scm-sync.yml index 387bbf9..2ee599d 100644 --- a/.github/workflows/6scm-sync.yml +++ b/.github/workflows/6scm-sync.yml @@ -13,6 +13,6 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 20 steps: - - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4 - name: Check 6scm mirrors run: bash scripts/check-6scm.sh diff --git a/.github/workflows/a2ml-validation.yml b/.github/workflows/a2ml-validation.yml index 582697b..cdf715d 100644 --- a/.github/workflows/a2ml-validation.yml +++ b/.github/workflows/a2ml-validation.yml @@ -24,7 +24,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4 + uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4 - name: Install Idris2 run: | @@ -73,7 +73,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4 + uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4 - name: Install Idris2 run: | diff --git a/.github/workflows/contractiles-a2ml.yml b/.github/workflows/contractiles-a2ml.yml index 5850e31..a850aee 100644 --- a/.github/workflows/contractiles-a2ml.yml +++ b/.github/workflows/contractiles-a2ml.yml @@ -19,6 +19,6 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 30 steps: - - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4 - name: Run Contractiles A2ML tests run: bash scripts/contractiles-a2ml-test.sh diff --git a/.github/workflows/fuzzing.yml b/.github/workflows/fuzzing.yml index 2befcde..e3c39b7 100644 --- a/.github/workflows/fuzzing.yml +++ b/.github/workflows/fuzzing.yml @@ -22,10 +22,10 @@ jobs: steps: - name: Checkout - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 + uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 - name: Setup Deno for input generation - uses: denoland/setup-deno@5e01c016a857a4dbb5afe9d0f9733cd472cba985 # v2.0.0 + uses: denoland/setup-deno@22d081ff2d3a40755e97629de92e3bcbfa7cf2ed # v2.0.0 with: deno-version: v2.x diff --git a/.github/workflows/idris2-tests.yml b/.github/workflows/idris2-tests.yml index 39a7709..d110181 100644 --- a/.github/workflows/idris2-tests.yml +++ b/.github/workflows/idris2-tests.yml @@ -19,10 +19,10 @@ jobs: steps: - name: Checkout - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 + uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 - name: Cache Idris2 - uses: actions/cache@6849a6489940f00c2f30c0fb92c6274307ccb58a # v4.2.0 + uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v4.2.0 with: path: ~/.idris2 key: idris2-${{ runner.os }}-0.7.0 diff --git a/.github/workflows/rescript-tests.yml b/.github/workflows/rescript-tests.yml index f2c6ccf..e9613f1 100644 --- a/.github/workflows/rescript-tests.yml +++ b/.github/workflows/rescript-tests.yml @@ -19,15 +19,15 @@ jobs: steps: - name: Checkout - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 + uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 - name: Setup Deno - uses: denoland/setup-deno@5e01c016a857a4dbb5afe9d0f9733cd472cba985 # v2.0.0 + uses: denoland/setup-deno@22d081ff2d3a40755e97629de92e3bcbfa7cf2ed # v2.0.0 with: deno-version: v2.x - name: Cache ReScript build - uses: actions/cache@6849a6489940f00c2f30c0fb92c6274307ccb58a # v4.2.0 + uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v4.2.0 with: path: | prototype/rescript/lib