Skip to content
Dockerized Test

Automata generation parametrized with contexts depth. #57

Sign in to view logs

Automata generation parametrized with contexts depth.

Automata generation parametrized with contexts depth. #57

Triggered via push September 30, 2025 09:00
@gsvgitgsvgit
pushed 76948de
gsv/kron_for_contexts_in_matrix_cfl
Status Success
Total duration 16m 38s
Artifacts –

dockerized-test.yml

on: push
Matrix: dockerized-test
Fit to window
Zoom out
Zoom in