Skip to content
build

[NetKAT] Introduce a Policy definition into the IR. #51

Sign in to view logs

[NetKAT] Introduce a Policy definition into the IR.

[NetKAT] Introduce a Policy definition into the IR. #51

Triggered via push November 18, 2024 21:17
@copybara-servicecopybara-service[bot]
pushed 1b66277
main
Status Success
Total duration 49s
Artifacts –

build.yml

on: push
build
39s
build
Fit to window
Zoom out
Zoom in