Skip to content
.github/workflows/ci.yml

Make a minor modification #51

Sign in to view logs

Make a minor modification

Make a minor modification #51

Triggered via push November 21, 2023 10:31
@sonmarchosonmarcho
pushed 00882b8
son_merge_types
Status Failure
Total duration 7m 33s
Artifacts –

ci.yml

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

Annotations

2 errors
nix
Process completed with exit code 1.
lean
Process completed with exit code 2.