Skip to content
Quint

tests: MBT for votekeeper #72

Sign in to view logs

tests: MBT for votekeeper

tests: MBT for votekeeper #72

Triggered via pull request November 17, 2023 22:20
@hvanzhvanz
synchronize #63
hvanz/mbt-votekeeper
Status Failure
Total duration 1m 32s
Artifacts –

quint.yml

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