Skip to content
Back to pull request #104

spec: adding step change #169

Sign in to view logs

spec: adding step change

spec: adding step change #169

Triggered via pull request December 12, 2023 12:52
@josef-widderjosef-widder
synchronize #104
josef/addStepInput
Status Success
Total duration 6m 7s
Artifacts –

quint.yml

on: pull_request
Typecheck
5m 57s
Typecheck
Test
4m 22s
Test
Fit to window
Zoom out
Zoom in