Remove dependency on too-recent OCaml · rems-project/sail@e9177ee

Triggered via push December 7, 2023 13:07

bacam

sail2

Status Success

Total duration 11m 38s

Artifacts 3

coverage.yml

on: push

Matrix: build

Produced during runtime