From 5ecd16be685e2634fa00db76f146d0df20898888 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Sat, 9 Aug 2025 15:09:35 +0100
Subject: [PATCH] ci: add mkosi job for debian stable

Debian 13 has just been released and can build and run everything,
so add CI coverage for it
---
 .github/workflows/mkosi.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml
index c55e199db5..deb972ebe8 100644
--- a/.github/workflows/mkosi.yml
+++ b/.github/workflows/mkosi.yml
@@ -65,6 +65,17 @@ jobs:
             no_qemu: 0
             no_kvm: 0
             shim: 0
+          - distro: debian
+            release: stable
+            runner: ubuntu-24.04
+            sanitizers: ""
+            llvm: 0
+            cflags: "-Og"
+            relabel: no
+            vm: 0
+            no_qemu: 0
+            no_kvm: 0
+            shim: 0
           - distro: debian
             release: testing
             runner: ubuntu-24.04