Skip to content
Build

[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 (#79) #622

Sign in to view logs

[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 (#79)

[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 (#79) #622

Triggered via push December 18, 2024 11:46
@buzdenbuzden
pushed dc875d4
main
Status Failure
Total duration 36s
Artifacts –

ci-lib.yml

on: push
Build the lib with Idris2 HEAD
27s
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 and 1 warning
Build the lib with Idris2 HEAD
Process completed with exit code 1.
Build the lib with Idris2 HEAD
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636