ci

add additional flags for SMT solvers #502

Sign in to view logs

Triggered via push June 21, 2026 19:17

main

Status Skipped

Total duration 1s

Artifacts –

build.yml

on: push

Matrix: build