Skip to content
build

install Z3 in CI for coverage #1434

Sign in to view logs

install Z3 in CI for coverage

install Z3 in CI for coverage #1434

Triggered via pull request August 2, 2024 17:49
@zapashcanonzapashcanon
opened #400
zapashcanon:fixci
Status Success
Total duration 4m 53s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in