Skip to content
Kind2 CI

Fix .poly_N tag leak in property names #1637

Sign in to view logs

Fix .poly_N tag leak in property names

Fix .poly_N tag leak in property names #1637

Triggered via pull request February 7, 2025 15:53
@lorchroblorchrob
synchronize #1128
lorchrob:poly-leak
Status Success
Total duration 8m 39s
Artifacts –

kind2-ci.yml

on: pull_request
Matrix: kind2-build
Fit to window
Zoom out
Zoom in