Skip to content
Test all examples with CN

Automatically build a dump of SMT output from recently changed files #101

Sign in to view logs

Automatically build a dump of SMT output from recently changed files

Automatically build a dump of SMT output from recently changed files #101

Triggered via pull request August 19, 2024 22:36
@septractseptract
synchronize #47
mdd/dump-smt
Status Success
Total duration 11m 44s
Artifacts –

run-cn-examples.yml

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