Skip to content

Reduce ci jobs

Reduce ci jobs #163

Triggered via pull request October 3, 2024 11:03
Status Success
Total duration 32m 31s
Artifacts

test-cvc5.yml

on: pull_request
Fit to window
Zoom out
Zoom in