Skip to content

[WIP] Move Irmin_pack.Io to eio #2083

[WIP] Move Irmin_pack.Io to eio

[WIP] Move Irmin_pack.Io to eio #2083

Triggered via pull request February 1, 2024 14:05
Status Cancelled
Total duration 30m 22s
Artifacts

coverage.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (ubuntu-latest, ., 5.1.x)
Received request to deprovision: The request was cancelled by the remote provider.