Skip to content
Test matrix

Lean: implement struct patterns #34

Sign in to view logs

Lean: implement struct patterns

Lean: implement struct patterns #34

Triggered via pull request February 14, 2025 13:32
@ineolineol
opened #1006
ineol:lean-struct-pats
Status Success
Total duration 12m 43s
Artifacts 6

test-matrix.yml

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

Artifacts

Produced during runtime
Name Size
event.json
3.3 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