MBT

spec: Refactor votekeeper using quint's new sum types #37

Sign in to view logs

Triggered via pull request November 30, 2023 09:20

hvanz

synchronize #76

hvanz/votekeeper-sum-types

Status Success

Total duration 1m 39s

Artifacts –

mbt.yml

on: pull_request

Generate and execute random traces