Build

Remove document/Utils in favor of Odoc_utils #682

Sign in to view logs

Triggered via push February 26, 2025 10:40

Julow

cleanup_utils

Status Success

Total duration 10m 26s

Artifacts –

build.yml

on: push

Matrix: build