Skip to content

Actions: os-fpga/yosys_verific_rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,117 workflow runs
1,117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

valgrind valgrind #110: Scheduled
October 25, 2024 19:11 4h 26m 56s main
main
October 25, 2024 19:11 4h 26m 56s
Release_Sim_1.5.8 Increment Version #594: Pull request #810 opened by AYYAZmayo
October 23, 2024 18:05 2s AYYAZmayo:main
AYYAZmayo:main
October 23, 2024 18:05 2s
Release_Sim_1.5.8 yosys-verific CI #1068: Pull request #810 opened by AYYAZmayo
October 23, 2024 18:05 1h 18m 43s AYYAZmayo:main
AYYAZmayo:main
October 23, 2024 18:05 1h 18m 43s
valgrind valgrind #109: Scheduled
October 18, 2024 19:11 4h 30m 21s main
main
October 18, 2024 19:11 4h 30m 21s
Netlist Checker yosys-verific CI #1067: Pull request #809 synchronize by behzadmehmood
October 18, 2024 15:43 1h 19m 59s netlist_checker
netlist_checker
October 18, 2024 15:43 1h 19m 59s
Netlist Checker yosys-verific CI #1066: Pull request #809 opened by behzadmehmood
October 18, 2024 11:37 56m 39s netlist_checker
netlist_checker
October 18, 2024 11:37 56m 39s
Netlist Checker Increment Version #593: Pull request #809 opened by behzadmehmood
October 18, 2024 11:37 31s netlist_checker
netlist_checker
October 18, 2024 11:37 31s
Submodule update Fix EDA-3283/EDA-3304 yosys-verific CI #1065: Pull request #808 opened by AYYAZmayo
October 15, 2024 08:06 1h 15m 18s AYYAZmayo:main
AYYAZmayo:main
October 15, 2024 08:06 1h 15m 18s
Submodule update Fix EDA-3283/EDA-3304 Increment Version #592: Pull request #808 opened by AYYAZmayo
October 15, 2024 08:06 3s AYYAZmayo:main
AYYAZmayo:main
October 15, 2024 08:06 3s
valgrind valgrind #108: Scheduled
October 11, 2024 19:11 1m 42s main
main
October 11, 2024 19:11 1m 42s
Release_Sim_1.5.7 yosys-verific CI #1064: Pull request #807 synchronize by AYYAZmayo
October 10, 2024 07:42 1h 13m 1s AYYAZmayo:main
AYYAZmayo:main
October 10, 2024 07:42 1h 13m 1s
Release_Sim_1.5.7 Increment Version #591: Pull request #807 opened by AYYAZmayo
October 10, 2024 06:00 2s AYYAZmayo:main
AYYAZmayo:main
October 10, 2024 06:00 2s
Release_Sim_1.5.7 yosys-verific CI #1063: Pull request #807 opened by AYYAZmayo
October 10, 2024 06:00 1h 17m 2s AYYAZmayo:main
AYYAZmayo:main
October 10, 2024 06:00 1h 17m 2s
Removing extra wires from fabric netlist yosys-verific CI #1062: Pull request #806 synchronize by behzadmehmood
October 9, 2024 10:58 1h 17m 3s cleanup_fab_nl
cleanup_fab_nl
October 9, 2024 10:58 1h 17m 3s
Removing extra wires from fabric netlist yosys-verific CI #1061: Pull request #806 opened by behzadmehmood
October 9, 2024 09:37 1h 11m 39s cleanup_fab_nl
cleanup_fab_nl
October 9, 2024 09:37 1h 11m 39s
Removing extra wires from fabric netlist Increment Version #590: Pull request #806 opened by behzadmehmood
October 9, 2024 09:37 26s cleanup_fab_nl
cleanup_fab_nl
October 9, 2024 09:37 26s
Removing I_FAB/O_FAB primitives yosys-verific CI #1060: Pull request #805 synchronize by behzadmehmood
October 5, 2024 07:21 1h 15m 54s remove_iofab
remove_iofab
October 5, 2024 07:21 1h 15m 54s
Removing I_FAB/O_FAB primitives Increment Version #589: Pull request #805 opened by behzadmehmood
October 5, 2024 07:17 31s remove_iofab
remove_iofab
October 5, 2024 07:17 31s
Removing I_FAB/O_FAB primitives yosys-verific CI #1059: Pull request #805 opened by behzadmehmood
October 5, 2024 07:17 4m 53s remove_iofab
remove_iofab
October 5, 2024 07:17 4m 53s
valgrind valgrind #107: Scheduled
October 4, 2024 19:11 4h 39m 37s main
main
October 4, 2024 19:11 4h 39m 37s
Import stmt fix Increment Version #588: Pull request #804 opened by alaindargelas
October 3, 2024 17:54 22m 54s import_stmt_fix
import_stmt_fix
October 3, 2024 17:54 22m 54s
Import stmt fix yosys-verific CI #1058: Pull request #804 opened by alaindargelas
October 3, 2024 17:54 3h 37m 30s import_stmt_fix
import_stmt_fix
October 3, 2024 17:54 3h 37m 30s
New flow to determine control signals yosys-verific CI #1057: Pull request #803 opened by chungshien-chai
October 3, 2024 06:14 2h 4m 8s yosys-control-signals
yosys-control-signals
October 3, 2024 06:14 2h 4m 8s
New flow to determine control signals Increment Version #587: Pull request #803 opened by chungshien-chai
October 3, 2024 06:14 2m 56s yosys-control-signals
yosys-control-signals
October 3, 2024 06:14 2m 56s
Blocking stmt ram infer yosys-verific CI #1056: Pull request #802 synchronize by alaindargelas
October 1, 2024 18:28 1h 17m 34s blocking_ram_infer_fix
blocking_ram_infer_fix
October 1, 2024 18:28 1h 17m 34s