Skip to content
build

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

Sign in to view logs

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

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

Triggered via push October 21, 2024 17:30
@smolkajsmolkaj
pushed 9de9280
main
Status Success
Total duration 6m 55s
Artifacts –

build.yml

on: push
build
6m 46s
build
Fit to window
Zoom out
Zoom in