Skip to content

Actions: os-fpga/yosys_verific_rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
858 workflow runs
858 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Submodule update Increment Version #577: Pull request #793 opened by AYYAZmayo
September 20, 2024 09:53 2s AYYAZmayo:main
AYYAZmayo:main
September 20, 2024 09:53 2s
Submodule update yosys-verific CI #1046: Pull request #793 opened by AYYAZmayo
September 20, 2024 09:53 1h 17m 13s AYYAZmayo:main
AYYAZmayo:main
September 20, 2024 09:53 1h 17m 13s
Update status yosys-verific CI #1045: Pull request #791 synchronize by chungshien-chai
September 19, 2024 18:49 1h 21m 4s yosys-io
yosys-io
September 19, 2024 18:49 1h 21m 4s
Submodule update fix-EDA-3246: Converting O_BUF_DS to O_BUFT_DS yosys-verific CI #1044: Pull request #792 opened by AYYAZmayo
September 19, 2024 10:13 1h 16m 44s AYYAZmayo:main
AYYAZmayo:main
September 19, 2024 10:13 1h 16m 44s
Submodule update fix-EDA-3246: Converting O_BUF_DS to O_BUFT_DS Increment Version #576: Pull request #792 opened by AYYAZmayo
September 19, 2024 10:13 3s AYYAZmayo:main
AYYAZmayo:main
September 19, 2024 10:13 3s
Update status Increment Version #575: Pull request #791 opened by chungshien-chai
September 19, 2024 05:11 31s yosys-io
yosys-io
September 19, 2024 05:11 31s
Update status yosys-verific CI #1043: Pull request #791 opened by chungshien-chai
September 19, 2024 05:11 1h 17m 17s yosys-io
yosys-io
September 19, 2024 05:11 1h 17m 17s
submodule update fix EDA-3175 yosys-verific CI #1042: Pull request #790 synchronize by AYYAZmayo
September 18, 2024 07:01 1h 11m 24s AYYAZmayo:main
AYYAZmayo:main
September 18, 2024 07:01 1h 11m 24s
submodule update fix EDA-3175 yosys-verific CI #1041: Pull request #790 opened by AYYAZmayo
September 18, 2024 05:56 1h 6m 7s AYYAZmayo:main
AYYAZmayo:main
September 18, 2024 05:56 1h 6m 7s
submodule update fix EDA-3175 Increment Version #574: Pull request #790 opened by AYYAZmayo
September 18, 2024 05:56 2s AYYAZmayo:main
AYYAZmayo:main
September 18, 2024 05:56 2s
Update design editor config.json flow after extra wires are removed yosys-verific CI #1040: Pull request #789 opened by chungshien-chai
September 17, 2024 08:05 1h 19m 13s yosys-io
yosys-io
September 17, 2024 08:05 1h 19m 13s
Update design editor config.json flow after extra wires are removed Increment Version #573: Pull request #789 opened by chungshien-chai
September 17, 2024 08:05 27s yosys-io
yosys-io
September 17, 2024 08:05 27s
Cleaning wrapper module after flattening yosys-verific CI #1039: Pull request #788 opened by behzadmehmood
September 16, 2024 18:07 1h 16m 42s EDA-2927
EDA-2927
September 16, 2024 18:07 1h 16m 42s
Cleaning wrapper module after flattening Increment Version #572: Pull request #788 opened by behzadmehmood
September 16, 2024 18:07 25s EDA-2927
EDA-2927
September 16, 2024 18:07 25s
Improve output port trait handling yosys-verific CI #1038: Pull request #787 synchronize by chungshien-chai
September 14, 2024 12:54 1h 1m 24s yosys-io
yosys-io
September 14, 2024 12:54 1h 1m 24s
Improve output port trait handling yosys-verific CI #1037: Pull request #787 synchronize by chungshien-chai
September 14, 2024 12:34 20m 10s yosys-io
yosys-io
September 14, 2024 12:34 20m 10s
Improve output port trait handling yosys-verific CI #1036: Pull request #787 synchronize by chungshien-chai
September 14, 2024 12:18 16m 13s yosys-io
yosys-io
September 14, 2024 12:18 16m 13s
Improve output port trait handling yosys-verific CI #1035: Pull request #787 synchronize by chungshien-chai
September 14, 2024 12:02 16m 40s yosys-io
yosys-io
September 14, 2024 12:02 16m 40s
Improve output port trait handling yosys-verific CI #1034: Pull request #787 synchronize by chungshien-chai
September 14, 2024 07:21 1h 10m 10s yosys-io
yosys-io
September 14, 2024 07:21 1h 10m 10s
Improve output port trait handling yosys-verific CI #1033: Pull request #787 synchronize by chungshien-chai
September 14, 2024 06:33 48m 17s yosys-io
yosys-io
September 14, 2024 06:33 48m 17s
Improve output port trait handling Increment Version #571: Pull request #787 opened by chungshien-chai
September 14, 2024 05:41 25s yosys-io
yosys-io
September 14, 2024 05:41 25s
Improve output port trait handling yosys-verific CI #1032: Pull request #787 opened by chungshien-chai
September 14, 2024 05:41 52m 44s yosys-io
yosys-io
September 14, 2024 05:41 52m 44s
Revert eda_3175 Data signals Increment Version #570: Pull request #786 opened by alaindargelas
September 13, 2024 22:53 26s revert_eda_3175_data_sigs
revert_eda_3175_data_sigs
September 13, 2024 22:53 26s
Revert eda_3175 Data signals yosys-verific CI #1031: Pull request #786 opened by alaindargelas
September 13, 2024 22:53 1h 16m 42s revert_eda_3175_data_sigs
revert_eda_3175_data_sigs
September 13, 2024 22:53 1h 16m 42s
Update CI.yml yosys-verific CI #1030: Pull request #784 synchronize by NadeemYaseen
September 13, 2024 20:34 1h 26m 43s macostry
macostry
September 13, 2024 20:34 1h 26m 43s