Skip to content
.github/workflows/ci.yml

Update the standard libraries #49

Sign in to view logs

Update the standard libraries

Update the standard libraries #49

Triggered via push November 21, 2023 09:23
@sonmarchosonmarcho
pushed c3b6ad3
son_merge_types
Status Failure
Total duration 7m 39s
Artifacts –

ci.yml

on: push
nix
7s
nix
lean
7m 31s
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.