Skip to content
opam

better compress location? #57

Sign in to view logs

better compress location?

better compress location? #57

Triggered via pull request November 22, 2025 01:01
@ajbt200128ajbt200128
synchronize #8
austin/better_compress_location_
Status Success
Total duration 6m 52s
Artifacts –

main.yaml

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