Skip to content
Build

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

Sign in to view logs

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

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

Triggered via pull request October 3, 2025 22:58
@Matthew-MosiorMatthew-Mosior
synchronize #52
Matthew-Mosior:rrbvector-implementation-refactor
Status Success
Total duration 2m 6s
Artifacts –

ci-lib.yml

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