Build matrix

Add abstract types and global constraints #351

Sign in to view logs

Triggered via push January 8, 2024 12:08

Alasdair

abstract_types

Status Success

Total duration 16m 29s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

6 errors and 2 notices

2 out of 3 runs with error: constraint_syn.sail: /#L0

./lem/tests.xml

2 out of 3 runs with error: abstract_bool.sail: /#L0

./lem/tests.xml

2 out of 3 runs with error: abstract_bool2.sail: /#L0

./lem/tests.xml

2 out of 3 runs with error: constraint_syn.sail: /#L0

./lem/tests.xml

2 out of 3 runs with error: abstract_bool.sail: /#L0

./lem/tests.xml

2 out of 3 runs with error: abstract_bool2.sail: /#L0

./lem/tests.xml

600 tests found

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

600 tests found

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