Build

[ upstream ] fix elab for WithFC #613

Sign in to view logs

Re-run triggered November 25, 2024 16:21

buzden

#77

andrevidela:withfc-elab

Status Failure

Total duration 4s

Artifacts –

ci-lib.yml

on: pull_request

Build the lib with Idris2 HEAD

Build the lib with Idris2 at PR state

Annotations

1 error

Build the lib with Idris2 HEAD

Process completed with exit code 1.