Skip to content
Build

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

Sign in to view logs

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

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

Triggered via pull request October 3, 2025 22:40
@Matthew-MosiorMatthew-Mosior
synchronize #52
Matthew-Mosior:rrbvector-implementation-refactor
Status Failure
Total duration 43s
Artifacts –

ci-lib.yml

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