Skip to content
Build

[ upstream ] Support Name in IBindVar (#81) #627

Sign in to view logs

[ upstream ] Support Name in IBindVar (#81)

[ upstream ] Support Name in IBindVar (#81) #627

Triggered via push August 14, 2025 13:20
@buzdenbuzden
pushed 6786ac7
main
Status Failure
Total duration 29s
Artifacts –

ci-lib.yml

on: push
Build the lib with Idris2 HEAD
25s
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.