feat: upgrade to Rust 1.80.1

mkroening · mkroening · commit 06919ee1c01d · 2024-08-08T23:23:25.000+02:00
Signed-off-by: Martin Kröning &lt;martin.kroening@eonerc.rwth-aachen.de&gt;
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,7 +7,7 @@ on:
 
 env:
   GH_TOKEN: ${{ github.token }}
-  RUSTUP_TOOLCHAIN: 1.80.0
+  RUSTUP_TOOLCHAIN: 1.80.1
 
 jobs:
   dist:
