From d588f7bf1fe63ee4cc848447ff4a83d2e6edcc4d Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Tue, 29 Sep 2026 16:01:58 +0000
Subject: [PATCH] Update dependency dart to v3.13.5

---
 .github/workflows/ci.yaml      | 6 +++---
 .github/workflows/publish.yaml | 2 +-
 .tool-versions                 | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index a5d3a70..ab35e21 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -18,7 +18,7 @@ jobs:
       - uses: actions/checkout@v7
       - uses: dart-lang/setup-dart@v1
         with:
-          sdk: 3.13.4
+          sdk: 3.13.5
       - run: dart pub get
 
       - parallel:
@@ -51,7 +51,7 @@ jobs:
 
       - uses: dart-lang/setup-dart@v1
         with:
-          sdk: 3.13.4
+          sdk: 3.13.5
       - name: pub get scip-dart package
         run: dart pub get
 
@@ -91,7 +91,7 @@ jobs:
       - uses: actions/checkout@v7
       - uses: dart-lang/setup-dart@v1
         with:
-          sdk: 3.13.4
+          sdk: 3.13.5
       - run: dart pub get
 
       # Setup repo to run on
diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
index 5baba23..bc181f2 100644
--- a/.github/workflows/publish.yaml
+++ b/.github/workflows/publish.yaml
@@ -18,7 +18,7 @@ jobs:
       - uses: actions/checkout@v7
       - uses: dart-lang/setup-dart@v1
         with:
-          sdk: 3.13.4
+          sdk: 3.13.5
       - run: |
           dart pub get
           dart pub publish --force
diff --git a/.tool-versions b/.tool-versions
index bbe1cde..3892511 100644
--- a/.tool-versions
+++ b/.tool-versions
@@ -1 +1 @@
-dart 3.13.4
+dart 3.13.5