Skip to content

GHA: Add OCaml 5.3 to the build matrix #4028

GHA: Add OCaml 5.3 to the build matrix

GHA: Add OCaml 5.3 to the build matrix #4028

Annotations

1 warning

Solvers-Linux (z3, 5.3.0)

succeeded Jan 22, 2025 in 1m 4s