Test Isabelle

Fix #1213 by unblocking rather than evaluating comparison #724

Sign in to view logs

Triggered via pull request August 4, 2026 15:01

synchronize #1215

issue-1213

Status Success

Total duration 26m 54s

Artifacts –

test-integration-isabelle.yml

on: pull_request

Matrix: test-vehicle-isabelle