Skip to content
Test matrix

Lean: fix doc_typdef for abbrev of ranges and bools #35

Sign in to view logs

Lean: fix doc_typdef for abbrev of ranges and bools

Lean: fix doc_typdef for abbrev of ranges and bools #35

Triggered via pull request February 14, 2025 13:38
@lfrenotlfrenot
opened #1007
lfrenot:fix_TD_abbrev
Status Success
Total duration 11m 27s
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.36 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