test-p4c-ubuntu-20.04-sanitizers

Build Z3 from source for P4Tools. #3150

Sign in to view logs

Triggered via pull request August 30, 2024 12:16

fruffy

synchronize #4697

fruffy/z3_source

Status Skipped

Total duration 3s

Artifacts –

ci-ubuntu-20-sanitizer-nightly.yml

on: pull_request

test-ubuntu20-clang-sanitizers