From 88eb17b8554217229b3038da5c80bcfc5ae40b7f Mon Sep 17 00:00:00 2001
From: vhavlena <vohavlena@gmail.com>
Date: Thu, 19 Dec 2024 21:10:10 +0100
Subject: [PATCH] action: update workflow; README build result

---
 .github/workflows/build.yml  |  2 +-
 .github/workflows/macos.yml  | 23 -----------------------
 .github/workflows/ubuntu.yml | 32 --------------------------------
 README.md                    |  2 ++
 4 files changed, 3 insertions(+), 56 deletions(-)
 delete mode 100644 .github/workflows/macos.yml
 delete mode 100644 .github/workflows/ubuntu.yml

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 3d038c7..5d56f56 100644
--- 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
deleted file mode 100644
index 76dc490..0000000
--- a/.github/workflows/macos.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-name: MacOS (build-&-test)
-
-on:
-  push:
-    branches: 
-      - master 
-      - devel
-  pull_request:
-    branches: 
-      - master 
-      - devel
-
-jobs:
-  setup:
-    runs-on: macos-15
-    steps:
-      - uses: actions/checkout@v3
-      - name: Building MacOS dependencies
-        run: brew install spot
-      - name: Compile
-        run: make release
-      - name: Test the library
-        run: make test
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
deleted file mode 100644
index 990af64..0000000
--- a/.github/workflows/ubuntu.yml
+++ /dev/null
@@ -1,32 +0,0 @@
-# copied from https://github.com/VeriFIT/mata/blob/84590550390b0d4003c83cd618c532b1959c752a/.github/workflows/ubuntu.yml
-
-name: Ubuntu (build-&-test)
-
-on:
-  push:
-    branches: 
-      - master 
-      - devel
-  pull_request:
-    branches: 
-      - master 
-      - devel
-  # allows to run the action from GitHub UI
-  workflow_dispatch:
-
-
-jobs:
-  setup:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Check out repository code
-        uses: actions/checkout@v3
-      - name: Install dependencies 
-        run: sudo wget -O /etc/apt/trusted.gpg.d/lrde.gpg https://www.lrde.epita.fr/repo/debian.gpg
-      - run: sudo sudo sh -c "echo 'deb http://www.lrde.epita.fr/repo/debian/ unstable/' >> /etc/apt/sources.list"
-      - run: sudo apt-get update
-      - run: sudo apt-get install -y spot libspot-dev python3-spot libspot0 libspotgen0 libspotltsmin0
-      - name: Compile release
-        run: make release
-      - name: Test release
-        run: make test
diff --git a/README.md b/README.md
index dc82872..a6b0457 100644
--- 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