Run Examples

Factor out Boogie tool output parsing #796

Sign in to view logs

Triggered via pull request March 10, 2025 05:44

ailrst

synchronize #355

verify-output

Status Success

Total duration 20m 33s

Artifacts 1

run-examples.yml

on: pull_request

StandardSystemTests

AnalysisSystemTests

Artifacts

Produced during runtime

Name	Size
testresult-796	5.1 KB