Skip to content
Build

[ fix ] Various RRBVector and RRBVector1 fixes #177

Sign in to view logs

[ fix ] Various RRBVector and RRBVector1 fixes

[ fix ] Various RRBVector and RRBVector1 fixes #177

Triggered via pull request September 21, 2025 02:49
@Matthew-MosiorMatthew-Mosior
opened #49
Matthew-Mosior:fix-rrbvector-sized-eq
Status Failure
Total duration 46s
Artifacts –

ci-lib.yml

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