Skip to content
Build

[ upstream ] Update elab for WithFC (#77) #620

Sign in to view logs

[ upstream ] Update elab for WithFC (#77)

[ upstream ] Update elab for WithFC (#77) #620

Triggered via push December 2, 2024 05:12
@buzdenbuzden
pushed ddccca6
main
Status Failure
Total duration 34s
Artifacts –

ci-lib.yml

on: push
Build the lib with Idris2 HEAD
23s
Build the lib with Idris2 HEAD
Build the lib with Idris2 at PR state
0s
Build the lib with Idris2 at PR state
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build the lib with Idris2 HEAD
Process completed with exit code 1.