Bump version and make release job

3902 use smt solver for equations (#3904) #42

Sign in to view logs

Triggered via push July 16, 2024 06:26

jberthold

master

Status Success

Total duration 12m 31s

Artifacts –

master.yml

on: push