Skip to content
.github/workflows/ci.yml

Start updating the name type, cleanup the names and the module abbrevs #38

Sign in to view logs

Start updating the name type, cleanup the names and the module abbrevs

Start updating the name type, cleanup the names and the module abbrevs #38

Triggered via push November 15, 2023 21:04
@sonmarchosonmarcho
pushed 21e3b71
son_merge_types
Status Failure
Total duration 8m 2s
Artifacts –

ci.yml

on: push
nix
8s
nix
lean
7m 54s
lean
Fit to window
Zoom out
Zoom in

Annotations

1 error
nix
Process completed with exit code 1.