Build

Merge pull request #51 from Matthew-Mosior/rrbvector1-map-refactor #183

Sign in to view logs

Triggered via push September 26, 2025 19:48

main

Status Success

Total duration 2m 23s

Artifacts –

ci-lib.yml

on: push

Build idris-community/idris2-containers with Idris2 latest