Gradient-based search for properties · vehicle-lang/vehicle@599064b

Triggered via pull request August 7, 2026 11:06

kksnowy

synchronize #1167

Status Failure

Total duration 5m 54s

Artifacts –

test-integration-isabelle.yml

on: pull_request

Matrix: test-vehicle-isabelle

5 errors

Process completed with exit code 1.

• Couldn't match type ‘Identifier’ with ‘(Identifier, Provenance)’

• Couldn't match type ‘Lv’ with ‘(Identifier, Provenance)’

The strategy configuration was canceled because "test-vehicle-isabelle.Linux_linux_ubuntu-latest" failed

The operation was canceled.