Skip to content

CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 #1662

CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2

CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 #1662

Triggered via push July 15, 2024 09:35
Status Success
Total duration 2m 20s
Artifacts

publish.yaml

on: push
Fit to window
Zoom out
Zoom in