Run SMTChecker #1
hieronxrun-smtchecker.yml
on: workflow_dispatch
run-smtchecker
3h 29m
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
smtchecker-report
Expired
|
13.9 KB |
|