Skip to content
Quint

feat(driver): Simplify code to keep only one round state #47

Sign in to view logs

feat(driver): Simplify code to keep only one round state

feat(driver): Simplify code to keep only one round state #47

Triggered via pull request November 15, 2023 15:33
@romacromac
synchronize #71
anca/one_round_state
Status Success
Total duration 1m 46s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 31s
Typecheck
Test
1m 2s
Test
Fit to window
Zoom out
Zoom in