Skip to content
build

[P4_Symbolic] Eliminate the use of a global Z3 context. #4347

Sign in to view logs

[P4_Symbolic] Eliminate the use of a global Z3 context.

[P4_Symbolic] Eliminate the use of a global Z3 context. #4347

Triggered via pull request January 6, 2025 10:34
@VSuryaprasad-HCLVSuryaprasad-HCL
opened #928
VSuryaprasad-HCL:symbolic_import_branch_169
Status Success
Total duration 1h 35m 13s
Artifacts –

ci.yml

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

Annotations

1 warning
Bazel Build and Test
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down