Skip to content

Merge pull request #998 from daniel-larraz/print-viable-states-calls #422

Merge pull request #998 from daniel-larraz/print-viable-states-calls

Merge pull request #998 from daniel-larraz/print-viable-states-calls #422

Re-run triggered July 19, 2023 12:22
Status Success
Total duration 13m 3s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kind2-ci.yml

on: push
Matrix: kind2-build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kind2-macos-11 Expired
9.8 MB
kind2-ubuntu-20.04 Expired
15.1 MB