Skip to content
Build Iris Lean

Correct handling of observations in weakestpre #2026

Sign in to view logs

Correct handling of observations in weakestpre

Correct handling of observations in weakestpre #2026

Re-run triggered July 27, 2026 13:07
@markusdemedeirosmarkusdemedeiros
#536
maxvistrup:master
Status Success
Total duration 5m 7s
Artifacts 1

build.yml

on: pull_request
build
3m 3s
build
build-math
4m 56s
build-math
report
12s
report
check-stale
12s
check-stale
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
porting-data Expired
55.1 KB
sha256:32d81a02553f4cba535419b936108628d016fc84345084d2c4a9b673f1b57b9f