Skip to content
Specification testing

Enable smoke tests for guided model checking of the Quint specs in the CI #36

Sign in to view logs

Enable smoke tests for guided model checking of the Quint specs in the CI

Enable smoke tests for guided model checking of the Quint specs in the CI #36

Triggered via pull request September 4, 2024 09:30
@konnovkonnov
opened #188
igor/smoke-guided
Status Success
Total duration 6m 15s
Artifacts –

spec.yaml

on: pull_request
test
6m 3s
test
Fit to window
Zoom out
Zoom in