Skip to content

Bump Ubuntu and OCaml versions for CI - #104

Merged
bacam merged 2 commits into
masterfrom
ci-update
Jul 23, 2026
Merged

Bump Ubuntu and OCaml versions for CI#104
bacam merged 2 commits into
masterfrom
ci-update

Tweak isla-sail opens for recent Sail versions

c2da5e8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings
build
succeeded Jul 23, 2026 in 9m 57s