Skip to content
Build

[ refactor ] RRBVector1 mmap #180

Sign in to view logs

[ refactor ] RRBVector1 mmap

[ refactor ] RRBVector1 mmap #180

Triggered via pull request September 26, 2025 19:34
@Matthew-MosiorMatthew-Mosior
opened #51
Matthew-Mosior:rrbvector1-map-refactor
Status Failure
Total duration 37s
Artifacts –

ci-lib.yml

on: pull_request
Build idris-community/idris2-containers with Idris2 latest
34s
Build idris-community/idris2-containers with Idris2 latest
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build idris-community/idris2-containers with Idris2 latest
Process completed with exit code 1.