Skip to content
Test all examples with CN

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

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 #39

Triggered via pull request July 18, 2024 06:13
@septractseptract
synchronize #47
mdd/dump-smt
Status Success
Total duration 12m 49s
Artifacts –

run-cn-examples.yml

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