Skip to content
Quint

spec: adding step change #142

Sign in to view logs

spec: adding step change

spec: adding step change #142

Triggered via pull request December 6, 2023 11:59
@josef-widderjosef-widder
synchronize #104
josef/addStepInput
Status Failure
Total duration 1m 31s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 19s
Typecheck
Test
36s
Test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test
Process completed with exit code 1.
Typecheck
Process completed with exit code 1.