Skip to content
Check formatting

comment #60

Sign in to view logs

comment

comment #60

GitHub Actions / Test Results failed Aug 5, 2024 in 0s

391 errors, 278 pass in 0s

    9 files  ±0     21 suites  ±0   0s ⏱️ ±0s
  669 tests +6    278 ✅ +1  0 💤 ±0  0 ❌ ±0  391 🔥 +5 
2 119 runs  +6  1 180 ✅ +1  1 💤 ±0  0 ❌ ±0  938 🔥 +5 

Results for commit 45851a0. ± Comparison against earlier commit e2937f5.

Annotations

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

nested_mapping1.sail with error 

./sailcov/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

nested_mapping_demo.sail with error 

./sailcov/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

5 out of 7 runs with error: nested_mapping.sail 

./c/tests.xml
./sailcov/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

nested_mapping2.sail with error 

./sailcov/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

nested_mapping5.sail with error 

./sailcov/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

nested_mapping4.sail with error 

./sailcov/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: string_of_bits2.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: read_write_ram.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: anf_as_pattern.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: reg_init_let.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: type_if_bits.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: let_option.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: rv_format.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: gvector.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

5 out of 9 runs with error: custom_flow.sail 

./c/tests.xml
./typecheck/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: downcast_fn.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: pow2.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: real_prop.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: poly_int_record.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

3 out of 6 runs with error: tl_pat.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: nested_fields.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

5 out of 9 runs with error: vector_subrange_pattern.sail 

./c/tests.xml
./typecheck/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: double_option.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: unused_poly_ctor.sail 

./c/tests.xml
Raw output 
fail

Check failure on line 0 in /

See this annotation in the file changed.

@github-actions github-actions / Test Results

4 out of 6 runs with error: cfold_reg.sail 

./c/tests.xml
Raw output 
fail
View more details on GitHub Actions