Skip to content

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

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

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

Triggered via push July 19, 2023 12:07
Status Skipped
Total duration 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kind2-docker.yml

on: push
build-and-publish
0s
build-and-publish
Fit to window
Zoom out
Zoom in