Quint

test: Fix bug in MBT test where some steps were skipped #210

Sign in to view logs

Summary
Jobs
- Typecheck
- Test
Run details
- Usage
- Workflow file

Triggered via pull request January 4, 2024 10:24

romac

synchronize #129

romac/mbt-fix

Status Success

Total duration 7m 37s

Artifacts –

quint.yml

on: pull_request