Skip to content
GKAT probe

gkat-probe: D-GKAT-0 PROBE, bounded GKAT checking of structured Rubicon flows #3

Sign in to view logs

gkat-probe: D-GKAT-0 PROBE, bounded GKAT checking of structured Rubicon flows

gkat-probe: D-GKAT-0 PROBE, bounded GKAT checking of structured Rubicon flows #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
probe
18s
18s