Build Iris Lean

refactor: Simplify Heaps API #624

Sign in to view logs

Triggered via pull request February 6, 2026 18:28

markusdemedeiros

synchronize #148

finite-maps-unified

Status Success

Total duration 1m 10s

Artifacts –

build.yml

on: pull_request