Test all examples with CN

Work-around Z3 bug #109

Sign in to view logs

Triggered via push August 26, 2024 13:31

dc-mak

main

Status Success

Total duration 15m 36s

Artifacts –

run-cn-examples.yml

on: push

Matrix: build