Start post-release for 1.0.8 · mpreiner/cvc5@1e01d2a

Triggered via push August 31, 2023 18:42

mpreiner

main

Status Success

Total duration 57m 42s

Artifacts 1

ci.yml

on: push

Matrix: build

Produced during runtime

Name	Size
documentation Expired	12.5 MB