Skip to content
Back to pull request #957

[P4_Symbolic] Restrict the symbolic variables of statically translated types to only the mapped values. #4574

Sign in to view logs

[P4_Symbolic] Restrict the symbolic variables of statically translated types to only the mapped values.

[P4_Symbolic] Restrict the symbolic variables of statically translated types to only the mapped values. #4574

Triggered via pull request January 23, 2025 09:45
@VSuryaprasad-HCLVSuryaprasad-HCL
synchronize #957
VSuryaprasad-HCL:symbolic_import_branch_183
Status Success
Total duration 1h 24m 54s
Artifacts –

ci.yml

on: pull_request
Bazel Build and Test
1h 24m
Bazel Build and Test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Bazel Build and Test
Cache save failed.