Skip to content
Build and run simple ksmt tests

Forking solver implementation #323

Sign in to view logs

Forking solver implementation

Forking solver implementation #323

Triggered via pull request August 30, 2023 21:06
@dee-treedee-tree
edited #123
dee-tree:forking-solver
Status Success
Total duration 18m 40s
Artifacts 3

build-and-run-tests.yml

on: pull_request
Matrix: Run tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
ksmt-tests-report-macos-latest Expired
41.7 KB
ksmt-tests-report-ubuntu-latest Expired
347 KB
ksmt-tests-report-windows-latest Expired
359 KB