Skip to content
Kind2 CI

Print result in JSON/XML even if computation of deadlocking trace fails #1508

Sign in to view logs

Print result in JSON/XML even if computation of deadlocking trace fails

Print result in JSON/XML even if computation of deadlocking trace fails #1508

Triggered via pull request July 29, 2024 12:00
@daniel-larrazdaniel-larraz
opened #1080
daniel-larraz:unrealiz-trace-unknown
Status Success
Total duration 15m 9s
Artifacts –

kind2-ci.yml

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

Annotations

2 warnings
kind2-build (macos-14)
rustup is outdated! To avoid broken installations, as soon as possible please run: brew upgrade Or, if you're OK with a less reliable fix: brew upgrade rustup
kind2-build (macos-12)
rustup is outdated! To avoid broken installations, as soon as possible please run: brew upgrade Or, if you're OK with a less reliable fix: brew upgrade rustup