Skip to content
Build Iris Lean

refactor: retire setoids #2020

Sign in to view logs

refactor: retire setoids

refactor: retire setoids #2020

Triggered via pull request July 24, 2026 09:18
@KaptchKaptch
synchronize #533
Kaptch:eq-leaves
Status Success
Total duration 5m 15s
Artifacts 1

build.yml

on: pull_request
build
2m 59s
build
build-math
5m 12s
build-math
report
13s
report
check-stale
0s
check-stale
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
porting-data Expired
55 KB
sha256:75dc9bcd20be1d602fea6f62579a8e5a1c6381363c8102f480d262db8b818e5c