Skip to content
Build

[ upstream ] Support Name in IBindVar #625

Sign in to view logs

[ upstream ] Support Name in IBindVar

[ upstream ] Support Name in IBindVar #625

Triggered via pull request March 26, 2025 15:32
@spcfoxspcfox
opened #81
spcfox:bindvar-name
Status Failure
Total duration 5m 26s
Artifacts –

ci-lib.yml

on: pull_request
Build the lib with Idris2 HEAD
22s
Build the lib with Idris2 HEAD
Build the lib with Idris2 at PR state
5m 21s
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.