Update github workflow, add postrm script

alex1701c · Nov 2, 2024 · 65f19c2 · 65f19c2
1 parent 4ba589c
commit 65f19c2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -29,7 +29,7 @@ jobs:
           - name: opensuse
             image: opensuse/tumbleweed
           - name: fedora
-            image: fedora
+            image: fedora:40
         plasma_version: [plasma5, plasma6]
         exclude:
           - os:

diff --git a/postrm b/postrm
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+if pgrep -x krunner > /dev/null
+then
+    killall krunner
+fi