This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Continuous Integration

Make simplification with TOP more aggressive #1057

Sign in to view logs

Triggered via pull request October 23, 2023 17:37

synchronize #1244

top

Status Success

Total duration 51m 1s

Artifacts –

rust.yml

on: pull_request

Matrix: build_with_vcpkg_installed_z3