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

filter cell primitives Increment Version #236: Pull request #451 opened by alain-rs
July 20, 2023 23:24 35s support_lib_files
support_lib_files
July 20, 2023 23:24 35s
support -v lib files and filter out celldefine primitives from topModule list yosys-verific CI #554: Pull request #450 opened by alain-rs
July 20, 2023 22:41 43m 50s support_lib_files
support_lib_files
July 20, 2023 22:41 43m 50s
support -v lib files and filter out celldefine primitives from topModule list Increment Version #235: Pull request #450 opened by alain-rs
July 20, 2023 22:41 33s support_lib_files
support_lib_files
July 20, 2023 22:41 33s
Daily tests Daily tests #503: Scheduled
July 20, 2023 19:32 3m 21s main
main
July 20, 2023 19:32 3m 21s
Fix recursive loop in analyze yosys-verific CI #553: Pull request #449 opened by thierryBesson
July 20, 2023 15:54 2h 58m 32s fix_EDA-1739
fix_EDA-1739
July 20, 2023 15:54 2h 58m 32s
Fix recursive loop in analyze Increment Version #234: Pull request #449 opened by thierryBesson
July 20, 2023 15:54 37s fix_EDA-1739
fix_EDA-1739
July 20, 2023 15:54 37s
EDA-1773_fix & EDA-1421_LUTx_fix- Submodules updated yosys-verific CI #552: Pull request #448 opened by ayyazahmed-rs
July 20, 2023 09:11 2h 42m 35s EDA-1771
EDA-1771
July 20, 2023 09:11 2h 42m 35s
EDA-1773_fix & EDA-1421_LUTx_fix- Submodules updated Increment Version #233: Pull request #448 opened by ayyazahmed-rs
July 20, 2023 09:11 38s EDA-1771
EDA-1771
July 20, 2023 09:11 38s
fix EDA-1728 infinite loop with analyze yosys-verific CI #551: Pull request #447 opened by thierryBesson
July 20, 2023 07:14 2h 37m 27s fix_EDA-1728
fix_EDA-1728
July 20, 2023 07:14 2h 37m 27s
fix EDA-1728 infinite loop with analyze Increment Version #232: Pull request #447 opened by thierryBesson
July 20, 2023 07:14 34s fix_EDA-1728
fix_EDA-1728
July 20, 2023 07:14 34s
Daily tests Daily tests #502: Scheduled
July 19, 2023 19:32 2m 47s main
main
July 19, 2023 19:32 2m 47s
Daily tests Daily tests #501: Scheduled
July 18, 2023 19:32 3m 5s main
main
July 18, 2023 19:32 3m 5s
EDA-1771-updated the submodules Increment Version #231: Pull request #446 opened by ayyazahmed-rs
July 18, 2023 12:30 32s EDA-1771
EDA-1771
July 18, 2023 12:30 32s
EDA-1771-updated the submodules yosys-verific CI #550: Pull request #446 opened by ayyazahmed-rs
July 18, 2023 12:30 2h 37m 56s EDA-1771
EDA-1771
July 18, 2023 12:30 2h 37m 56s
Daily tests Daily tests #500: Scheduled
July 17, 2023 19:32 3m 10s main
main
July 17, 2023 19:32 3m 10s
Daily tests Daily tests #499: Scheduled
July 14, 2023 19:32 15m 22s main
main
July 14, 2023 19:32 15m 22s
valgrind valgrind #43: Scheduled
July 14, 2023 19:02 3h 31m 17s main
main
July 14, 2023 19:02 3h 31m 17s
.json has been added for new dsp designs yosys-verific CI #549: Pull request #445 opened by komalinayat
July 14, 2023 10:20 2h 39m 13s EDA-1701
EDA-1701
July 14, 2023 10:20 2h 39m 13s
.json has been added for new dsp designs Increment Version #230: Pull request #445 opened by komalinayat
July 14, 2023 10:20 38s EDA-1701
EDA-1701
July 14, 2023 10:20 38s
Daily tests Daily tests #498: Scheduled
July 13, 2023 19:32 13m 40s main
main
July 13, 2023 19:32 13m 40s
EDA-1459 fix is added yosys-verific CI #548: Pull request #444 opened by awaisabbas-rs
July 13, 2023 11:17 2h 40m 36s EDA_1459_fix
EDA_1459_fix
July 13, 2023 11:17 2h 40m 36s
EDA-1459 fix is added Increment Version #229: Pull request #444 opened by awaisabbas-rs
July 13, 2023 11:17 34s EDA_1459_fix
EDA_1459_fix
July 13, 2023 11:17 34s
Daily tests Daily tests #497: Scheduled
July 12, 2023 19:32 28s main
main
July 12, 2023 19:32 28s
Daily tests Daily tests #496: Scheduled
July 11, 2023 19:32 13m 39s main
main
July 11, 2023 19:32 13m 39s