Skip to content

Actions: google/netkat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
836 workflow runs
836 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[NetKAT] Support generating counter examples in analysis_engine. build #808: Pull request #86 synchronize by copybara-service bot
2m 35s cl/834377726
cl/834377726
2m 35s
[NetKAT] Support generating counter examples in analysis_engine. build #807: Pull request #86 synchronize by copybara-service bot
2m 17s cl/834377726
cl/834377726
2m 17s
build build #806: Scheduled
1m 1s main
main
1m 1s
[NetKAT] Support generating counter examples in analysis_engine. build #805: Pull request #86 synchronize by copybara-service bot
2m 19s cl/834377726
cl/834377726
2m 19s
[NetKAT] Support generating counter examples in analysis_engine. build #804: Pull request #86 opened by copybara-service bot
2m 23s cl/834377726
cl/834377726
2m 23s
build build #803: Scheduled
1m 14s main
main
1m 14s
build build #802: Scheduled
1m 8s main
main
1m 8s
build build #801: Scheduled
59s main
main
59s
[NetKAT] Fix comment in golden tests build #800: Commit 2e89f02 pushed by copybara-service bot
1m 17s main
main
1m 17s
[NetKAT] Fix comment in golden tests build #799: Pull request #85 synchronize by copybara-service bot
1m 19s cl/834475001
cl/834475001
1m 19s
[NetKAT] Fix comment in golden tests build #798: Pull request #85 synchronize by copybara-service bot
1m 5s cl/834475001
cl/834475001
1m 5s
build build #797: Scheduled
57s main
main
57s
build build #796: Scheduled
1m 9s main
main
1m 9s
[NetKAT] Fix comment in golden tests build #795: Pull request #85 opened by copybara-service bot
54s cl/834475001
cl/834475001
54s
build build #794: Scheduled
53s main
main
53s
build build #793: Scheduled
1m 3s main
main
1m 3s
build build #792: Scheduled
53s main
main
53s
build build #791: Scheduled
49s main
main
49s
build build #790: Scheduled
1m 18s main
main
1m 18s
[NetKAT] Support symmetric difference operation. build #789: Pull request #71 synchronize by copybara-service bot
3m 17s cl/786022831
cl/786022831
3m 17s
[NetKAT] Support the intersection operation. build #788: Pull request #84 opened by copybara-service bot
3m 11s cl/786329524
cl/786329524
3m 11s
[NetKAT] Support difference operation. build #787: Pull request #70 synchronize by copybara-service bot
3m 44s cl/781676296
cl/781676296
3m 44s
[NetKAT] Support difference operation. build #786: Commit 94d0283 pushed by copybara-service bot
3m 23s main
main
3m 23s
[NetKAT] Support difference operation. build #785: Pull request #70 synchronize by copybara-service bot
3m 41s cl/781676296
cl/781676296
3m 41s
build build #784: Scheduled
1m 8s main
main
1m 8s