Skip to content
Test all examples with CN

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

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

Triggered via pull request August 19, 2024 23:20
@septractseptract
synchronize #47
mdd/dump-smt
Status Success
Total duration 12m 25s
Artifacts –

run-cn-examples.yml

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