action: update workflow; README build result

VeriFIT · Dec 19, 2024 · 88eb17b · 88eb17b
1 parent 7d2e605
commit 88eb17b
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 56 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -30,7 +30,7 @@ jobs:
       - name: Test release
         run: make test
   macos-build:
-    name: "MACOS (build-&-test)"
+    name: "MacOS (build-&-test)"
     runs-on: macos-15
     steps:
       - uses: actions/checkout@v3

diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # Kofola: Modular Complementation and Inclusion Checking for Omega Automata
 
+![build workflow](https://github.com/VeriFIT/kofola/actions/workflows/build.yml/badge.svg)
+
 Kofola is an open source tool for an efficient complementation and inclusion checking 
 of automata over infinite words (omega automata). Kofola has been built on top of [SPOT](https://spot.lrde.epita.fr/) and
 inspired by [Seminator](https://github.com/mklokocka/seminator) and