Skip to content
.github/workflows/ci.yml

Update more names #50

Sign in to view logs

Update more names

Update more names #50

Triggered via push November 21, 2023 09:27
@sonmarchosonmarcho
pushed 1dbdd9e
son_merge_types
Status Failure
Total duration 8m 0s
Artifacts –

ci.yml

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