Skip to content
Build

[ refactor ] Unifying interface implementations for RRBVector (Sized and Unsized) #184

Sign in to view logs

[ refactor ] Unifying interface implementations for RRBVector (Sized and Unsized)

[ refactor ] Unifying interface implementations for RRBVector (Sized and Unsized) #184

Triggered via pull request October 3, 2025 18:08
@Matthew-MosiorMatthew-Mosior
opened #52
Matthew-Mosior:rrbvector-implementation-refactor
Status Failure
Total duration 38s
Artifacts –

ci-lib.yml

on: pull_request
Build idris-community/idris2-containers with Idris2 latest
35s
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.