Skip to content

Actions: os-fpga/yosys_verific_rs

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily tests
Daily tests #522: Scheduled
August 16, 2023 19:32 4m 2s main
August 16, 2023 19:32 4m 2s
Daily tests
Daily tests #521: Scheduled
August 15, 2023 19:32 2m 45s main
August 15, 2023 19:32 2m 45s
Daily tests
Daily tests #520: Scheduled
August 14, 2023 19:32 2m 41s main
August 14, 2023 19:32 2m 41s
Daily tests
Daily tests #519: Scheduled
August 11, 2023 19:32 2m 48s main
August 11, 2023 19:32 2m 48s
valgrind
valgrind #47: Scheduled
August 11, 2023 19:02 4h 21m 29s main
August 11, 2023 19:02 4h 21m 29s
Daily tests
Daily tests #518: Scheduled
August 10, 2023 19:31 7m 42s main
August 10, 2023 19:31 7m 42s
Fix for EDA-1778/EDA-1779/EDA-1701/EDA-1766/EDA-1879/EDA-1872
yosys-verific CI #575: Pull request #466 synchronize by ayyazahmed-rs
August 10, 2023 15:34 2h 26m 23s fix_EDA
August 10, 2023 15:34 2h 26m 23s
Fix for EDA-1778/EDA-1779/EDA-1701/EDA-1766/EDA-1879/EDA-1872
yosys-verific CI #574: Pull request #466 synchronize by ayyazahmed-rs
August 10, 2023 11:58 54m 22s fix_EDA
August 10, 2023 11:58 54m 22s
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