fix CI and update metadata

.github/workflows/build.yml

@@ -24,13 +24,11 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     steps:
-      - run: |
-          sudo apt-get update
-          sudo apt-get install -q -y graphviz libgtk-3-dev libgtksourceview-3.0-dev
       - name: Checkout tree
         uses: actions/checkout@v4
+
       - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
-        uses: ocaml/setup-ocaml@v2
+        uses: ocaml/setup-ocaml@v3
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
       - run: |

README.md

@@ -1,5 +1,7 @@
 # Saida
 
+[![Build Status](https://github.com/rse-verification/saida/actions/workflows/build.yml)](https://github.com/rse-verification/saida/actions/workflows/build.yml/badge.svg?branch=main)
+
 This program is licensed under the GPL2 license, see license headers in source code files
 and the full license in the LICENSE file.
 

dune-project

@@ -15,7 +15,7 @@
   (name frama-c-saida)
  (depends
   (ocaml (>= 4.14))
-  (frama-c (>= 26)))
+  (frama-c (and (>= 26) (< 29))))
  (synopsis "ACSL contract inference for helper functions")
  (description "This plugin for the Frama-C platform for source code analysis
 of C programs provides inference of ACSL contracts for helper functions."))

frama-c-saida.opam

@@ -13,7 +13,7 @@ bug-reports: "https://github.com/rse-verification/saida/issues"
 depends: [
   "dune" {>= "3.2"}
   "ocaml" {>= "4.14"}
-  "frama-c" {>= "26"}
+  "frama-c" {>= "26" & < "29"}
   "odoc" {with-doc}
 ]
 build: [