Skip to content
.github/workflows/ci.yml

Remove the 'r type variable from the ty type definition #31

Sign in to view logs

Remove the 'r type variable from the ty type definition

Remove the 'r type variable from the ty type definition #31

Triggered via push November 12, 2023 18:29
@sonmarchosonmarcho
pushed b9f33bd
son_merge_types
Status Failure
Total duration 8m 11s
Artifacts –

ci.yml

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

Annotations

1 error
nix
Process completed with exit code 1.