Skip to content
Build Iris Lean

Finite Maps #652

Sign in to view logs

Finite Maps

Finite Maps #652

Triggered via pull request March 2, 2026 16:05
@markusdemedeirosmarkusdemedeiros
synchronize #160
finitemaps2
Status Success
Total duration 1m 54s
Artifacts –

build.yml

on: pull_request
build
1m 50s
build
Fit to window
Zoom out
Zoom in