Skip to content
Test

interactive property builder can be used from within the model checker #456

Sign in to view logs

interactive property builder can be used from within the model checker

interactive property builder can be used from within the model checker #456

Triggered via push December 15, 2024 12:11
@PimLeerkesPimLeerkes
pushed 859f5b9
158-make-functions-that-help-create-the-property-strings
Status Success
Total duration 2m 20s
Artifacts –

test.yml

on: push
test
2m 9s
test
Fit to window
Zoom out
Zoom in