Skip to content
container-image

[P4Testgen] Make more functions of the P4Tools Z3 API accessible. #8119

Sign in to view logs

[P4Testgen] Make more functions of the P4Tools Z3 API accessible.

[P4Testgen] Make more functions of the P4Tools Z3 API accessible. #8119

Triggered via pull request March 1, 2024 15:32
@fruffyfruffy
synchronize #4322
fruffy/testgen_z3_api
Status Success
Total duration 1h 17m 23s
Artifacts –

ci-container-image.yml

on: pull_request
build
48m 44s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/