Skip to content
Back to pull request #997

SV: Enable another test #11

Sign in to view logs

SV: Enable another test

SV: Enable another test #11

Triggered via push February 14, 2025 00:04
@AlasdairAlasdair
pushed 429d017
ite_simp_sv
Status Success
Total duration 11m 23s
Artifacts 6

test-matrix.yml

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

Artifacts

Produced during runtime
Name Size
event.json
2.13 KB
test-results-exec
165 KB
test-results-other
148 KB
test-results-prover
172 KB
test-results-sv
161 KB
test-results-typecheck
154 KB