From c7bdf245dec30b7e6852cc2f29a860a062dc36fe Mon Sep 17 00:00:00 2001
From: "bootc-bot[bot]" <225049296+bootc-bot[bot]@users.noreply.github.com>
Date: Sun, 20 Sep 2026 01:05:25 +0000
Subject: [PATCH] chore(deps): update github actions

Signed-off-by: bootc-bot[bot] <225049296+bootc-bot[bot]@users.noreply.github.com>
Signed-off-by: bootc-bot[bot] <225049296+bootc-bot[bot]@users.noreply.github.com>
---
 .github/workflows/build.yml            | 4 ++--
 .github/workflows/cratesio-release.yml | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b92e3a4..95acd10 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -20,7 +20,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
 
       - name: Build and run CI in devcontainer
         uses: devcontainers/ci@v0.3
@@ -33,7 +33,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
 
       - name: Run Kani proofs in devcontainer
         uses: devcontainers/ci@v0.3
diff --git a/.github/workflows/cratesio-release.yml b/.github/workflows/cratesio-release.yml
index 96568fc..820bc21 100644
--- a/.github/workflows/cratesio-release.yml
+++ b/.github/workflows/cratesio-release.yml
@@ -5,11 +5,11 @@ on:
     tags: ['v*']  # Triggers when pushing tags starting with 'v'
 jobs:
   publish:
-    runs-on: ubuntu-24.04
+    runs-on: ubuntu-26.04
     permissions:
       id-token: write     # Required for OIDC token exchange
     steps:
-    - uses: actions/checkout@v6
+    - uses: actions/checkout@v7
     - uses: rust-lang/crates-io-auth-action@v1
       id: auth
     - run: cargo publish