Skip to content
Dockerized Test

Turn transitive reduction on. From all start states, not entrypoints. #40

Sign in to view logs

Turn transitive reduction on. From all start states, not entrypoints.

Turn transitive reduction on. From all start states, not entrypoints. #40

Triggered via push September 23, 2025 09:24
@gsvgitgsvgit
pushed 95cc8fd
gsv/kron_for_contexts_in_matrix_cfl
Status Success
Total duration 16m 43s
Artifacts –

dockerized-test.yml

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