Skip to content
Kind2 CI

Give more detailed information about property types in all output formats #1435

Sign in to view logs

Give more detailed information about property types in all output formats

Give more detailed information about property types in all output formats #1435

Triggered via pull request May 6, 2024 15:37
@lorchroblorchrob
synchronize #1065
lorchrob:cand-gen-prop-output
Status Success
Total duration 15m 16s
Artifacts –

kind2-ci.yml

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