Skip to content
Test all examples with CN

Add broken proof example from Cerberus repo here #77

Sign in to view logs

Add broken proof example from Cerberus repo here

Add broken proof example from Cerberus repo here #77

Triggered via push August 2, 2024 00:10
@septractseptract
pushed 9f6ed55
main
Status Success
Total duration 11m 19s
Artifacts –

run-cn-examples.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in