Test all examples with CN

Revise script per dialog with CVC5 team #103

Sign in to view logs

Triggered via push August 20, 2024 09:03

cp526

main

Status Success

Total duration 11m 56s

Artifacts –

run-cn-examples.yml

on: push

Matrix: build