Skip to content
Quint

spec: adding step change #166

Sign in to view logs

spec: adding step change

spec: adding step change #166

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

quint.yml

on: pull_request
Typecheck
1m 16s
Typecheck
Test
39s
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.