Skip to content
.github/workflows/ci.yml

Update the Charon-ML dune file #52

Sign in to view logs

Update the Charon-ML dune file

Update the Charon-ML dune file #52

Triggered via push November 21, 2023 12:55
@sonmarchosonmarcho
pushed 49231f3
son_merge_types
Status Success
Total duration 38s
Artifacts –

ci.yml

on: push
nix
27s
nix
Fit to window
Zoom out
Zoom in