Skip to content
CN Proof

Check countermodels #260

Sign in to view logs

Check countermodels

Check countermodels #260

Triggered via pull request February 2, 2025 20:55
@cassiatorczoncassiatorczon
synchronize #829
cassiatorczon:check-countermodel
Status Success
Total duration 13m 4s
Artifacts –

ci-cn.yml

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