Getting Started Documentation

Organisations edwintorok lintcstubs branch/main Build History

Build History for branch/main

Builds (10)

opam: add maintenance-intent

Apr 13 10:20 +00:00

Passed in 1m19s

Move to codeberg

Apr 05 10:59 +00:00

Failed in 2m18s

Move to codeberg

Apr 05 10:41 +00:00

Passed in 3m29s

Apr 05 10:09 +00:00

Passed in 1m31s

Apr 05 10:08 +00:00

Apr 04 22:34 +00:00

Passed in 31m22s

add ocaml-ci badge

Mar 14 10:16 +00:00

Passed in 1m14s

Prepare for 0.5.0

Feb 15 23:12 +00:00

Passed in 1m23s

Merge pull request #3 from Leonidas-from-XIV/goblint-constraint Add constraint on upper version of Goblint

Feb 12 10:12 +00:00

Failed in 18m17s

drop pin-depends Signed-off-by: Edwin Török <edwin.torok@cloud.com>

Mar 15 10:20 +00:00

Failed in 33m24s