Skip to content

Actions: os-fpga/yosys_verific_rs

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

Fix for EDA-1778/EDA-1779/EDA-1701/EDA-1766/EDA-1879/EDA-1872
yosys-verific CI #573: Pull request #466 synchronize by ayyazahmed-rs
August 10, 2023 11:06 52m 40s fix_EDA
August 10, 2023 11:06 52m 40s
Fix for EDA-1778/EDA-1779/EDA-1701/EDA-1766/EDA-1879/EDA-1872
Increment Version #251: Pull request #466 opened by ayyazahmed-rs
August 10, 2023 10:57 34s fix_EDA
August 10, 2023 10:57 34s
Fix for EDA-1778/EDA-1779/EDA-1701/EDA-1766/EDA-1879/EDA-1872
yosys-verific CI #572: Pull request #466 opened by ayyazahmed-rs
August 10, 2023 10:57 9m 20s fix_EDA
August 10, 2023 10:57 9m 20s
Daily tests
Daily tests #517: Scheduled
August 9, 2023 19:31 3m 43s main
August 9, 2023 19:31 3m 43s
Updated the submodule
yosys-verific CI #571: Pull request #465 synchronize by ayyazahmed-rs
August 9, 2023 17:09 2h 33m 53s FIX_CI
August 9, 2023 17:09 2h 33m 53s
Updated the submodule
Increment Version #250: Pull request #465 opened by ayyazahmed-rs
August 9, 2023 15:23 34s FIX_CI
August 9, 2023 15:23 34s
Updated the submodule
yosys-verific CI #570: Pull request #465 opened by ayyazahmed-rs
August 9, 2023 15:23 1h 37m 38s FIX_CI
August 9, 2023 15:23 1h 37m 38s
Fix EDA-1041 with better QoR
yosys-verific CI #569: Pull request #464 opened by thierryBesson
August 9, 2023 12:10 1h 0m 44s fix_EDA-1041
August 9, 2023 12:10 1h 0m 44s
Fix EDA-1041 with better QoR
Increment Version #249: Pull request #464 opened by thierryBesson
August 9, 2023 12:10 34s fix_EDA-1041
August 9, 2023 12:10 34s
Daily tests
Daily tests #516: Scheduled
August 8, 2023 19:32 3m 20s main
August 8, 2023 19:32 3m 20s
Daily tests
Daily tests #515: Scheduled
August 7, 2023 19:32 3m 32s main
August 7, 2023 19:32 3m 32s
Daily tests
Daily tests #514: Scheduled
August 4, 2023 19:32 7m 18s main
August 4, 2023 19:32 7m 18s
valgrind
valgrind #46: Scheduled
August 4, 2023 19:02 4h 23m 21s main
August 4, 2023 19:02 4h 23m 21s
Fix EDA-1097 by providing -max_lut and -max_reg for synthesis command
Increment Version #248: Pull request #463 opened by thierryBesson
August 4, 2023 10:46 30s fix_EDA-1097
August 4, 2023 10:46 30s
Fix EDA-1097 by providing -max_lut and -max_reg for synthesis command
yosys-verific CI #568: Pull request #463 opened by thierryBesson
August 4, 2023 10:46 3h 23m 20s fix_EDA-1097
August 4, 2023 10:46 3h 23m 20s
Yosys-rs-plugin submodule update
yosys-verific CI #567: Pull request #462 opened by ayyazahmed-rs
August 4, 2023 05:23 2h 44m 15s revert_RS_primitves
August 4, 2023 05:23 2h 44m 15s
Yosys-rs-plugin submodule update
Increment Version #247: Pull request #462 opened by ayyazahmed-rs
August 4, 2023 05:23 36s revert_RS_primitves
August 4, 2023 05:23 36s
Daily tests
Daily tests #513: Scheduled
August 3, 2023 19:32 2m 54s main
August 3, 2023 19:32 2m 54s
update yosys-rs-plugin and yosys
yosys-verific CI #566: Pull request #461 opened by thierryBesson
August 3, 2023 12:56 2h 58m 38s IMPROVE-EDA-1041-1602
August 3, 2023 12:56 2h 58m 38s
update yosys-rs-plugin and yosys
Increment Version #246: Pull request #461 opened by thierryBesson
August 3, 2023 12:56 33s IMPROVE-EDA-1041-1602
August 3, 2023 12:56 33s
<EDA-1764>Submodule Update
yosys-verific CI #565: Pull request #460 opened by ayyazahmed-rs
August 3, 2023 06:15 3h 9m 57s EDA-1764_fix
August 3, 2023 06:15 3h 9m 57s
<EDA-1764>Submodule Update
Increment Version #245: Pull request #460 opened by ayyazahmed-rs
August 3, 2023 06:15 31s EDA-1764_fix
August 3, 2023 06:15 31s
Daily tests
Daily tests #512: Scheduled
August 2, 2023 19:32 3m 22s main
August 2, 2023 19:32 3m 22s
update submodule to add fix for EDA-1769
yosys-verific CI #564: Pull request #459 opened by awaisabbas-rs
August 2, 2023 11:47 16m 44s EDA-1769
August 2, 2023 11:47 16m 44s
update submodule to add fix for EDA-1769
Increment Version #244: Pull request #459 opened by awaisabbas-rs
August 2, 2023 11:47 35s EDA-1769
August 2, 2023 11:47 35s