Skip to content

Actions: os-fpga/yosys_verific_rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow run results
149 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily tests Daily tests #548: Scheduled
September 14, 2023 19:32 12m 56s main
main
September 14, 2023 19:32 12m 56s
write_vhdl DFFRE yosys-verific CI #595: Pull request #483 opened by alain-rs
September 14, 2023 16:54 2h 40m 23s write_vhdl_DFFRE
write_vhdl_DFFRE
September 14, 2023 16:54 2h 40m 23s
write_vhdl DFFRE Increment Version #268: Pull request #483 opened by alain-rs
September 14, 2023 16:54 39s write_vhdl_DFFRE
write_vhdl_DFFRE
September 14, 2023 16:54 39s
analyze updates yosys-verific CI #594: Pull request #482 opened by alain-rs
September 14, 2023 05:33 2h 51m 56s y_update
y_update
September 14, 2023 05:33 2h 51m 56s
analyze updates Increment Version #267: Pull request #482 opened by alain-rs
September 14, 2023 05:33 32s y_update
y_update
September 14, 2023 05:33 32s
Fix for EDA-2061 yosys-verific CI #593: Pull request #481 opened by awaisabbas-rs
September 14, 2023 05:23 2h 43m 31s update_CI
update_CI
September 14, 2023 05:23 2h 43m 31s
Fix for EDA-2061 Increment Version #266: Pull request #481 opened by awaisabbas-rs
September 14, 2023 05:23 30s update_CI
update_CI
September 14, 2023 05:23 30s
Analyze hier Increment Version #265: Pull request #480 opened by alain-rs
September 13, 2023 21:25 38s analyze_hier
analyze_hier
September 13, 2023 21:25 38s
Analyze hier yosys-verific CI #592: Pull request #480 opened by alain-rs
September 13, 2023 21:25 1h 4m 29s analyze_hier
analyze_hier
September 13, 2023 21:25 1h 4m 29s
Daily tests Daily tests #547: Scheduled
September 13, 2023 19:32 13m 23s main
main
September 13, 2023 19:32 13m 23s
update yosys-rs-plugin yosys-verific CI #591: Pull request #479 opened by awaisabbas-rs
September 13, 2023 07:09 1h 4m 32s update_submodule
update_submodule
September 13, 2023 07:09 1h 4m 32s
update yosys-rs-plugin Increment Version #264: Pull request #479 opened by awaisabbas-rs
September 13, 2023 07:09 35s update_submodule
update_submodule
September 13, 2023 07:09 35s
Fix analyze hier tree Increment Version #263: Pull request #478 opened by alain-rs
September 12, 2023 22:32 33s analyze_hier
analyze_hier
September 12, 2023 22:32 33s
Fix analyze hier tree yosys-verific CI #590: Pull request #478 opened by alain-rs
September 12, 2023 22:32 2h 43m 36s analyze_hier
analyze_hier
September 12, 2023 22:32 2h 43m 36s
Daily tests Daily tests #546: Scheduled
September 12, 2023 19:32 13m 0s main
main
September 12, 2023 19:32 13m 0s
Daily tests Daily tests #545: Scheduled
September 11, 2023 19:32 12m 57s main
main
September 11, 2023 19:32 12m 57s
Daily tests Daily tests #544: Scheduled
September 8, 2023 19:32 13m 24s main
main
September 8, 2023 19:32 13m 24s
valgrind valgrind #51: Scheduled
September 8, 2023 19:02 4h 9m 11s main
main
September 8, 2023 19:02 4h 9m 11s
Daily tests Daily tests #543: Scheduled
September 7, 2023 19:32 13m 11s main
main
September 7, 2023 19:32 13m 11s
New Yosys analyze command Increment Version #262: Pull request #477 opened by alain-rs
September 7, 2023 17:01 36s yosys_analyse
yosys_analyse
September 7, 2023 17:01 36s
New Yosys analyze command yosys-verific CI #589: Pull request #477 opened by alain-rs
September 7, 2023 17:01 2h 48m 35s yosys_analyse
yosys_analyse
September 7, 2023 17:01 2h 48m 35s
Daily tests Daily tests #542: Scheduled
September 6, 2023 19:32 12m 55s main
main
September 6, 2023 19:32 12m 55s
Daily tests Daily tests #541: Scheduled
September 5, 2023 19:32 12m 57s main
main
September 5, 2023 19:32 12m 57s
Daily tests Daily tests #540: Scheduled
September 4, 2023 19:32 13m 10s main
main
September 4, 2023 19:32 13m 10s
Daily tests Daily tests #539: Scheduled
September 1, 2023 19:32 12m 11s main
main
September 1, 2023 19:32 12m 11s