Skip to content
Build

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

Sign in to view logs

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

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

Triggered via pull request October 3, 2025 18:16
@Matthew-MosiorMatthew-Mosior
synchronize #52
Matthew-Mosior:rrbvector-implementation-refactor
Status Failure
Total duration 39s
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.