Code

[new release] goblint-cil (2.0.4)#26307

Code

Merged

mseri merged 4 commits intoocaml:masterocaml/opam-repository:masterfrom sim642:release-goblint-cil-2.0.4sim642/opam-repository:release-goblint-cil-2.0.4Copy head branch name to clipboardAug 2, 2024

+87-4

Commits

Commits on Jul 30, 2024

• [new release] goblint-cil (2.0.4)

  Show description for 5562b0e
  sim642

  committed
  5562b0e

• goblint: add goblint-cil.2.0.4 upper bounds

  sim642

  committed
  b42c22e

Commits on Aug 1, 2024

• goblint-cil.2.0.4: add freebsd x-ci-accept-failures

  sim642

  committed
  dfe1f49

• goblint: add bsd unavailability and macos-homebrew x-ci-accept-failures

  sim642

  committed
  b00858f