Skip to content

First quint draft that is somewhat complete with consensus, executor, voteKeeper #30

First quint draft that is somewhat complete with consensus, executor, voteKeeper

First quint draft that is somewhat complete with consensus, executor, voteKeeper #30

Triggered via pull request November 14, 2023 09:52
Status Failure
Total duration 2m 0s
Artifacts

quint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test
Process completed with exit code 1.