makedev improve and CI badge

2025-09-12 23:28:09 +02:00
parent 1dec3e5ee9
commit 34a6ac328b
4 changed files with 25 additions and 4 deletions
@@ -23,4 +23,5 @@ margen
 configure
 src/margen*
 *.pkg.tar.zst
-pkg
+pkg
+margen-*