Skip to content
build

[NetKAT] Tweaks to Github Actions script and MODULE.bazel. #5

Sign in to view logs

[NetKAT] Tweaks to Github Actions script and MODULE.bazel.

[NetKAT] Tweaks to Github Actions script and MODULE.bazel. #5

build

build
succeeded Oct 19, 2024 in 17s