diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6f4fa76..79ed69f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -29,7 +29,7 @@ jobs: steps: - name: Checkout code - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 + uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 - name: Environment setup run: | diff --git a/.github/workflows/deploy-odoc.yml b/.github/workflows/deploy-odoc.yml index 9ed5b60..b67af56 100644 --- a/.github/workflows/deploy-odoc.yml +++ b/.github/workflows/deploy-odoc.yml @@ -21,7 +21,7 @@ jobs: shell: bash steps: - name: Checkout - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 + uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 with: fetch-depth: 0 diff --git a/.github/workflows/dune-pkg-more-ci.yml b/.github/workflows/dune-pkg-more-ci.yml index 9a18a96..c710945 100644 --- a/.github/workflows/dune-pkg-more-ci.yml +++ b/.github/workflows/dune-pkg-more-ci.yml @@ -42,7 +42,7 @@ jobs: steps: - name: Checkout code - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 + uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 - name: Environment setup run: | diff --git a/.github/workflows/dunolint.yml b/.github/workflows/dunolint.yml index 9628d1e..7bf827b 100644 --- a/.github/workflows/dunolint.yml +++ b/.github/workflows/dunolint.yml @@ -16,7 +16,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 + uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 - name: Install dunolint uses: mbarbin/dunolint-actions/setup-dunolint@6b1c0591ba857063829211bc162712052889c4e2 # v1.0.0-alpha.4