Skip to content

Actions: os-fpga/yosys_verific_rs

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated submodule RTL_benchmark Increment Version #289: Pull request #504 opened by ayyazahmed-rs
November 3, 2023 10:49 34s RTL_benchmark_update
RTL_benchmark_update
November 3, 2023 10:49 34s
updated submodule RTL_benchmark yosys-verific CI #626: Pull request #504 opened by ayyazahmed-rs
November 3, 2023 10:49 2h 48m 42s RTL_benchmark_update
RTL_benchmark_update
November 3, 2023 10:49 2h 48m 42s
Daily tests Daily tests #583: Scheduled
November 2, 2023 19:32 10m 46s main
main
November 2, 2023 19:32 10m 46s
Daily tests Daily tests #582: Scheduled
November 1, 2023 19:34 12m 27s main
main
November 1, 2023 19:34 12m 27s
Daily tests Daily tests #581: Scheduled
October 31, 2023 19:34 9m 41s main
main
October 31, 2023 19:34 9m 41s
Daily tests Daily tests #580: Scheduled
October 30, 2023 19:34 9m 22s main
main
October 30, 2023 19:34 9m 22s
Updated submodules Yosys and Yosys-rs-plugin Increment Version #288: Pull request #503 opened by ayyazahmed-rs
October 30, 2023 05:27 39s EDA-2166_IO_LIMIT
EDA-2166_IO_LIMIT
October 30, 2023 05:27 39s
Updated submodules Yosys and Yosys-rs-plugin yosys-verific CI #625: Pull request #503 opened by ayyazahmed-rs
October 30, 2023 05:27 3h 5m 56s EDA-2166_IO_LIMIT
EDA-2166_IO_LIMIT
October 30, 2023 05:27 3h 5m 56s
Daily tests Daily tests #579: Scheduled
October 27, 2023 19:34 10m 55s main
main
October 27, 2023 19:34 10m 55s
valgrind valgrind #58: Scheduled
October 27, 2023 19:02 6h 0m 40s main
main
October 27, 2023 19:02 6h 0m 40s
Updated submodule Yosys-rs-plugin Increment Version #287: Pull request #502 opened by ayyazahmed-rs
October 27, 2023 10:23 39s SMART-DISSOLVE-CE
SMART-DISSOLVE-CE
October 27, 2023 10:23 39s
Updated submodule Yosys-rs-plugin yosys-verific CI #624: Pull request #502 opened by ayyazahmed-rs
October 27, 2023 10:23 3h 21m 12s SMART-DISSOLVE-CE
SMART-DISSOLVE-CE
October 27, 2023 10:23 3h 21m 12s
Update RTL_Benchmark submodule in yosys_verific_rs yosys-verific CI #623: Pull request #501 opened by awaisabbas-rs
October 27, 2023 06:42 2h 42m 11s rtl_update
rtl_update
October 27, 2023 06:42 2h 42m 11s
Update RTL_Benchmark submodule in yosys_verific_rs Increment Version #286: Pull request #501 opened by awaisabbas-rs
October 27, 2023 06:42 40s rtl_update
rtl_update
October 27, 2023 06:42 40s
update yosys-rs-plugin for smart CE dissolve yosys-verific CI #622: Pull request #500 opened by thierryBesson
October 27, 2023 06:08 1h 29m 37s SMART-DISSOLVE-CE
SMART-DISSOLVE-CE
October 27, 2023 06:08 1h 29m 37s
update yosys-rs-plugin for smart CE dissolve Increment Version #285: Pull request #500 opened by thierryBesson
October 27, 2023 06:08 35s SMART-DISSOLVE-CE
SMART-DISSOLVE-CE
October 27, 2023 06:08 35s
Daily tests Daily tests #578: Scheduled
October 26, 2023 19:34 11m 24s main
main
October 26, 2023 19:34 11m 24s
Daily tests Daily tests #577: Scheduled
October 25, 2023 19:34 10m 33s main
main
October 25, 2023 19:34 10m 33s
Daily tests Daily tests #576: Scheduled
October 24, 2023 19:34 10m 21s main
main
October 24, 2023 19:34 10m 21s
submodule update Increment Version #284: Pull request #499 opened by ayyazahmed-rs
October 24, 2023 12:23 38s blackbox_sim_updated
blackbox_sim_updated
October 24, 2023 12:23 38s
submodule update yosys-verific CI #621: Pull request #499 opened by ayyazahmed-rs
October 24, 2023 12:23 3h 25m 7s blackbox_sim_updated
blackbox_sim_updated
October 24, 2023 12:23 3h 25m 7s
Daily tests Daily tests #575: Scheduled
October 23, 2023 19:32 10m 19s main
main
October 23, 2023 19:32 10m 19s
Daily tests Daily tests #574: Scheduled
October 20, 2023 19:32 10m 28s main
main
October 20, 2023 19:32 10m 28s
valgrind valgrind #57: Scheduled
October 20, 2023 19:02 6h 0m 39s main
main
October 20, 2023 19:02 6h 0m 39s
Daily tests Daily tests #573: Scheduled
October 19, 2023 19:32 11m 14s main
main
October 19, 2023 19:32 11m 14s