Skip to content
Opam Pipeline

fix(carl): correct a few CLI docstrings (#210) #200

Sign in to view logs

fix(carl): correct a few CLI docstrings (#210)

fix(carl): correct a few CLI docstrings (#210) #200

Triggered via push September 5, 2024 15:19
@anmonteiroanmonteiro
pushed 82ea02e
master
Status Success
Total duration 7m 11s
Artifacts –

opam-build.yml

on: push
Matrix: Build and test
Fit to window
Zoom out
Zoom in