Skip to content
Quint

fix(spec): Asynchronous flow for GetValue #239

Sign in to view logs

fix(spec): Asynchronous flow for GetValue

fix(spec): Asynchronous flow for GetValue #239

Triggered via pull request January 17, 2024 10:49
@josef-widderjosef-widder
synchronize #159
josef/i81-getValue
Status Success
Total duration 7m 22s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 33s
Typecheck
Test
7m 10s
Test
Fit to window
Zoom out
Zoom in