Skip to content
Build

[ upstream ] fix elab for WithFC #618

Sign in to view logs

[ upstream ] fix elab for WithFC

[ upstream ] fix elab for WithFC #618

Re-run triggered November 25, 2024 19:51
@buzdenbuzden
#77
andrevidela:withfc-elab
Status Failure
Total duration 6m 8s
Artifacts –

ci-lib.yml

on: pull_request
Build the lib with Idris2 HEAD
24s
Build the lib with Idris2 HEAD
Build the lib with Idris2 at PR state
5m 55s
Build the lib with Idris2 at PR state
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build the lib with Idris2 HEAD
Process completed with exit code 1.
Build the lib with Idris2 at PR state
Process completed with exit code 1.