Skip to content
Validate-YAML

fail hard when a non-Assume instruction turns an invariant into bottom #531

Sign in to view logs

fail hard when a non-Assume instruction turns an invariant into bottom

fail hard when a non-Assume instruction turns an invariant into bottom #531

Triggered via push November 12, 2024 22:28
@elazargelazarg
pushed 37be029
main
Status Success
Total duration 14s
Artifacts –

validate-yaml.yml

on: push
validate-yaml
5s
validate-yaml
Fit to window
Zoom out
Zoom in