Merge pull request #985 from lorchrob/nondeterministic-choice · kind2-mc/kind2@0532806

Triggered via push September 13, 2023 19:26

develop

Status Success

Total duration 20m 14s

Artifacts 2

kind2-ci.yml

on: push

Matrix: kind2-build

Produced during runtime

Name	Size
kind2-macos-11 Expired	9.82 MB
kind2-ubuntu-20.04 Expired	15.1 MB