Bump version and make release job

Consider known predicates in Booster's simplifier API (#3953) #35

Sign in to view logs

Triggered via push July 9, 2024 12:02

rv-jenkins

master

Status Success

Total duration 12m 10s

Artifacts –

master.yml

on: push