Run formal #5941
Triggered via pull request
October 1, 2024 04:04
alaindargelas
Status
Failure
Total duration
1h 18m 40s
Artifacts
42
main.yml
on: pull_request
Matrix: build-binaries
Build tools
10m 58s
Emit Workflow Info
0s
Style check
1m 55s
Verify README Correctness (Installation From Sources)
41m 17s
Matrix: Large Designs Tests / opentitan_parse_report
Matrix: Parsing Tests / parsing-tests
Large Designs Tests
/
Ibex (Vivado synthesis)
6m 50s
Large Designs Tests
/
Ibex (F4PGA synthesis)
11m 34s
Large Designs Tests
/
Opentitan 9d82960888 (synthesis)
27m 26s
Large Designs Tests
/
Opentitan (synthesis)
57m 10s
Large Designs Tests
/
VeeR-EH1 (synthesis)
5m 42s
Large Designs Tests
/
Black Parrot (AMD (Xilinx) FPGA synthesis)
17m 1s
Large Designs Tests
/
Black Parrot (ASIC synthesis)
46m 48s
Diff generated BSG Micro Designs tests
/
Parse and diff BSG Micro Designs
6m 27s
Matrix: Formal Verification Tests / tests-formal-verification
Parsing Tests
/
Generate AST diff
0s
Parsing Tests
/
Summary Generation
1m 49s
Verify README Correctness (Download And Run Release)
0s
Annotations
1 error and 7 warnings
|
Style check
Process completed with exit code 100.
|
|
Large Designs Tests / VeeR-EH1 (synthesis)
No files were found with the provided path: tests/build/chipsalliance.org_cores_VeeR_EH1_1.9/synth-vivado/chipsalliance.org_cores_VeeR_EH1_1.9.edif. No artifacts will be uploaded.
|
|
Diff generated BSG Micro Designs tests / Parse and diff BSG Micro Designs
Some generated tests differ from the reference or were not generated at all. Check the test statuses in the workflow summary or `bsg_micro_designs_summary.md` in the artifacts.
|
|
Formal Verification Tests / yosys
No files were found with the provided path: yosys_formal_verification_logs.tar. No artifacts will be uploaded.
|
|
Formal Verification Tests / simple
No files were found with the provided path: simple_formal_verification_logs.tar. No artifacts will be uploaded.
|
|
Formal Verification Tests / sv2v
No files were found with the provided path: sv2v_formal_verification_logs.tar. No artifacts will be uploaded.
|
|
Large Designs Tests / Black Parrot (ASIC synthesis)
No files were found with the provided path: build
third_party/OpenROAD-flow-scripts/logs
third_party/OpenROAD-flow-scripts/reports
third_party/OpenROAD-flow-scripts/results. No artifacts will be uploaded.
|
|
Large Designs Tests / Opentitan (synthesis)
No files were found with the provided path: tests/build/lowrisc_systems_custom_tiny_chip_custom_tiny_nexysvideo_0.1/synth-yosys/lowrisc_systems_custom_tiny_chip_custom_tiny_nexysvideo_0.1.edif. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
binaries-asan
|
288 MB |
|
|
binaries-package
|
22.6 MB |
|
|
binaries-plugin
|
40.9 MB |
|
|
binaries-release
|
41.4 MB |
|
|
bp_e_bp_unicore_cfg.edif
|
3.9 MB |
|
|
bsg-logs
|
5.47 MB |
|
|
bsg-outputs
|
1.72 MB |
|
|
lowrisc_ibex_top_artya7_surelog_0.1.bit
|
107 KB |
|
|
lowrisc_systems_top_earlgrey_nexysvideo_0.1.bit
|
612 KB |
|
|
opentitan-logs-full
|
5.1 MB |
|
|
opentitan-logs-quick
|
1.52 MB |
|
|
plots_binaries-asan
|
58 KB |
|
|
plots_binaries-package
|
145 KB |
|
|
plots_binaries-plugin
|
37.1 KB |
|
|
plots_binaries-release
|
142 KB |
|
|
plots_blackparrot_synth_asic
|
257 KB |
|
|
plots_blackparrot_synth_xilinx
|
109 KB |
|
|
plots_build_tools
|
81.1 KB |
|
|
plots_formal_verification_simple
|
104 KB |
|
|
plots_formal_verification_sv2v
|
130 KB |
|
|
plots_formal_verification_yosys
|
97.4 KB |
|
|
plots_ibex_synth
|
46.9 KB |
|
|
plots_ibex_synth_f4pga
|
80.9 KB |
|
|
plots_opentitan_9d82960888_synth
|
151 KB |
|
|
plots_opentitan_parse_report_full
|
85.5 KB |
|
|
plots_opentitan_parse_report_quick
|
42.9 KB |
|
|
plots_opentitan_synth
|
303 KB |
|
|
plots_tests_asan_read_systemverilog
|
218 KB |
|
|
plots_tests_asan_read_uhdm
|
165 KB |
|
|
plots_tests_plugin_read_systemverilog
|
35.2 KB |
|
|
plots_tests_plugin_read_uhdm
|
33.4 KB |
|
|
plots_tests_release_read_systemverilog
|
35.6 KB |
|
|
plots_tests_release_read_uhdm
|
33.9 KB |
|
|
plots_veer_synth
|
38.2 KB |
|
|
results_parsing_tests_asan_read_systemverilog
Expired
|
389 KB |
|
|
results_parsing_tests_asan_read_uhdm
Expired
|
1.81 MB |
|
|
results_parsing_tests_plugin_read_systemverilog
Expired
|
256 KB |
|
|
results_parsing_tests_plugin_read_uhdm
Expired
|
1.71 MB |
|
|
results_parsing_tests_release_read_systemverilog
Expired
|
255 KB |
|
|
results_parsing_tests_release_read_uhdm
Expired
|
1.7 MB |
|
|
tools
|
38.9 MB |
|
|
top_artya7.bit
|
121 KB |
|