From 7bd3d1b8928a80a5da5a28fb699f6093a742611f Mon Sep 17 00:00:00 2001
From: "Dustin J. Mitchell" <dustin@v.igoro.us>
Date: Mon, 14 Oct 2024 17:48:41 -0400
Subject: [PATCH] Install uuid-dev in GitHub action (#3647)

---
 .github/workflows/release-check.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/release-check.yaml b/.github/workflows/release-check.yaml
index 7ec39eb1d..8138356a7 100644
--- a/.github/workflows/release-check.yaml
+++ b/.github/workflows/release-check.yaml
@@ -17,6 +17,9 @@ jobs:
           toolchain: "stable"
           override: true
 
+      - name: Install uuid-dev
+        run: sudo apt install uuid-dev
+
       - name: make a release tarball and build from it
         run: |
           cmake -S. -Bbuild &&