Test matrix

Lean: Change loops to use native lean loops #228

# to view logs

Triggered via pull request February 28, 2025 10:18

lfrenot

synchronize #1086

lfrenot:lean/early_return_to_throw

Status Success

Total duration 17m 56s

Artifacts 6

test-matrix.yml

on: pull_request

Matrix: build

Annotations

7 errors and 1 notice

1 out of 11 runs with error: int64_vector_literal.sail: /#L0

./lean/tests.xml

1 out of 11 runs with error: try_return.sail: /#L0

./lean/tests.xml

1 out of 11 runs with error: rev_bits_in_byte.sail: /#L0

./lean/tests.xml

1 out of 10 runs with error: split.sail: /#L0

./lean/tests.xml

1 out of 10 runs with error: all_even_vector_length.sail: /#L0

./lean/tests.xml

1 out of 11 runs with error: enum_vector.sail: /#L0

./lean/tests.xml

early_return.sail with error: /#L0

./lean/tests.xml

844 tests found

There are 844 tests, see "Raw output" for the full list of tests.

Artifacts

Produced during runtime

Name	Size
event.json	3.53 KB
test-results-exec	170 KB
test-results-other	164 KB
test-results-prover	179 KB
test-results-sv	166 KB
test-results-typecheck	158 KB