From d063cbb9cb0a43145a7cda489954da401c7180d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Huvar?= <492849@mail.muni.cz>
Date: Sat, 2 Sep 2023 17:54:28 +0200
Subject: [PATCH] Attempt to fix the workflow by bumping rust version.

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 071f2f4..553457d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -14,7 +14,7 @@ env:
   # A fixed version used for testing, so that the builds don't
   # spontaneously break after a few years.
   # Make sure to update this from time to time.
-  RUST_VERSION: "1.64.0"
+  RUST_VERSION: "1.72.0"
 jobs:
   # Check formatting
   fmt: