Skip to content
Back to pull request #1092

[Civl] Introduction of pure Assert action #2099

Sign in to view logs

[Civl] Introduction of pure Assert action

[Civl] Introduction of pure Assert action #2099

Boogie CI (Debug, batch_mode=True)

Boogie CI (Debug, batch_mode=True)
succeeded Jan 21, 2026 in 4m 35s