Skip to content
Test matrix

CI: Add monomorphisation tests to CI #36

Sign in to view logs

CI: Add monomorphisation tests to CI

CI: Add monomorphisation tests to CI #36

Triggered via push February 14, 2025 14:12
@AlasdairAlasdair
pushed 8662254
lean_c_tests
Status Success
Total duration 11m 31s
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 KB
test-results-exec
165 KB
test-results-other
160 KB
test-results-prover
173 KB
test-results-sv
161 KB
test-results-typecheck
154 KB