Build matrix

Remove the need for the HAVE_COVERAGE check #448

Sign in to view logs

Triggered via push April 24, 2024 17:39

Alasdair

coverage_rts2

Status Success

Total duration 21m 40s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

196 errors, 4 warnings, and 2 notices

1 out of 3 runs with error: existential_ast3.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: dec_prelude.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: nonexistent_pragma.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: bool_typ_pat.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: if_infer.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: real.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: exist2.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: case_simple2.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: type_div.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: multiple_unifiers.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: sizeof_fixed.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: floor_pow2.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: funcl_guard.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: constraint_ctor.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: tuple_bitvector_int_pat.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: cast_lexp2.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: list_cons.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: eqn_inst.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: exist_synonym.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: varity.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: cons_pattern.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: extension_constructor.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: wf_specs.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: existential_ast2.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: simple_scattered.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: implicits.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: guards.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: anon_rec.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: enum_map.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: exit2.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: string_literal_type.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: tuple_type_cast.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: repeat_constraint.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: bitvector_param.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: return_simple1.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: tautology.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: if_return.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: mapping_clause.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: pure_let_var2.sail: /#L0

./lem/tests.xml

1 out of 4 runs with error: procstate1.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: option_tuple.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: tuple_bitvector_int_pat2.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: synth_ex_vs.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: no_val_recur.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: allpats.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: modify_type_chain.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: type_if_then_else.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

1 out of 3 runs with error: exit3.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: add_vec_exts_no_annot.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: pow_unify.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: nat_set.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: tuple_assign.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: exist1.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: vec_length_inc.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: inc_prelude.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: single_enum.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: reg_option.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: inline_typ.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: bool_bits_mapping.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: return_simple3.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: default_order.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: lexp_vec.sail: /#L0

./lem/tests.xml

1 out of 4 runs with error: vector_pattern_split.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: flow_gt1.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: nzcv.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: commentfix.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: reg_32_64.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: reg_list.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: recursion.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: wildcard_mapping.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: not_pattern.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: exint.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: bind_typ_var.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: reg_mod.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: priv_fn_no_val.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: unsigned_index.sail: /#L0

./lem/tests.xml

1 out of 4 runs with error: assignment_simple.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: crlf.sail: /#L0

./lem/tests.xml

1 out of 9 runs with error: outcome_impl.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: Replicate.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: union_infer.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: issue434.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: pure_let_var.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: ex_cast.sail: /#L0

./lem/tests.xml

1 out of 3 runs with error: nexp_synonym2.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: bitfield_abs.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 9 runs with error: tuple_fun.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: existential_constraint_synonym.sail: /#L0

./lem/tests.xml

2 out of 9 runs with error: nexp_synonym.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: while_PM.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: vector_append_gen.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 9 runs with error: new_bitfields.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

2 out of 9 runs with error: struct_pattern_partial.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 9 runs with error: vector_subrange_pattern.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: overload_plus.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 8 runs with error: zero_length_bv.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 9 runs with error: reg_ref.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 9 runs with error: shadow_let.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: simple_record_access.sail: /#L0

./lem/tests.xml

2 out of 9 runs with error: custom_flow.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: exist_tlb.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: patternrefinement.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

1 out of 2 runs with error: phantom_bitlist_union.sail: /#L0

./lem/tests.xml

build (5.0.0, ubuntu-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

build (4.08.1, ubuntu-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

build (4.08.1, macOS-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

build (5.0.0, macOS-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

619 tests found

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

619 tests found

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