Skip to content
.github/workflows/ci.yml

Annotate the bound vars in the lambdas for Coq #218

Sign in to view logs

Annotate the bound vars in the lambdas for Coq

Annotate the bound vars in the lambdas for Coq #218

Triggered via push December 22, 2023 18:23
@sonmarchosonmarcho
pushed 719263b
son/merge_back
Status Failure
Total duration 8m 17s
Artifacts –

ci.yml

on: push
nix
2m 14s
nix
lean
8m 9s
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.