diff --git a/.github/workflows/Build.yml b/.github/workflows/Build.yml index a8b52bf9c82..edb322a8386 100644 --- a/.github/workflows/Build.yml +++ b/.github/workflows/Build.yml @@ -23,7 +23,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Hermit run: ./bin/hermit env -r >> $GITHUB_ENV @@ -65,7 +65,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Hermit run: ./bin/hermit env -r >> $GITHUB_ENV @@ -95,7 +95,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Hermit run: ./bin/hermit env -r >> $GITHUB_ENV diff --git a/.github/workflows/Linting.yml b/.github/workflows/Linting.yml index 4d92344e889..10e95e2638d 100644 --- a/.github/workflows/Linting.yml +++ b/.github/workflows/Linting.yml @@ -23,7 +23,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Hermit run: ./bin/hermit env -r >> $GITHUB_ENV @@ -37,7 +37,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Hermit run: ./bin/hermit env -r >> $GITHUB_ENV diff --git a/.github/workflows/Publish-Website.yml b/.github/workflows/Publish-Website.yml index 29741edb520..276dbaa9b8e 100644 --- a/.github/workflows/Publish-Website.yml +++ b/.github/workflows/Publish-Website.yml @@ -16,7 +16,7 @@ jobs: steps: - name: Checkout the repo - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Hermit run: ./bin/hermit env -r >> $GITHUB_ENV