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

Smoke test failure fix Increment Version #243: Pull request #458 opened by ayyazahmed-rs
August 2, 2023 11:40 36s smoke_test_failure_fix
smoke_test_failure_fix
August 2, 2023 11:40 36s
Smoke test failure fix yosys-verific CI #563: Pull request #458 opened by ayyazahmed-rs
August 2, 2023 11:40 3h 8m 56s smoke_test_failure_fix
smoke_test_failure_fix
August 2, 2023 11:40 3h 8m 56s
EDA-1776 & EDA-1777 fix Increment Version #242: Pull request #457 opened by ayyazahmed-rs
August 2, 2023 05:41 30s EDA-1776-77_fix
EDA-1776-77_fix
August 2, 2023 05:41 30s
Daily tests Daily tests #511: Scheduled
August 1, 2023 19:32 3m 4s main
main
August 1, 2023 19:32 3m 4s
BRAM/DSP suite added yosys-verific CI #561: Pull request #456 synchronize by awaisabbas-rs
August 1, 2023 11:10 2h 17m 36s yosys_valid
yosys_valid
August 1, 2023 11:10 2h 17m 36s
BRAM/DSP suite added yosys-verific CI #560: Pull request #456 opened by awaisabbas-rs
August 1, 2023 09:20 1h 50m 36s yosys_valid
yosys_valid
August 1, 2023 09:20 1h 50m 36s
BRAM/DSP suite added Increment Version #241: Pull request #456 opened by awaisabbas-rs
August 1, 2023 09:20 35s yosys_valid
yosys_valid
August 1, 2023 09:20 35s
Daily tests Daily tests #510: Scheduled
July 31, 2023 19:32 2m 55s main
main
July 31, 2023 19:32 2m 55s
Yosys valid yosys-verific CI #559: Pull request #455 opened by awaisabbas-rs
July 31, 2023 14:30 2h 39m 28s yosys_valid
yosys_valid
July 31, 2023 14:30 2h 39m 28s
Yosys valid Increment Version #240: Pull request #455 opened by awaisabbas-rs
July 31, 2023 14:30 32s yosys_valid
yosys_valid
July 31, 2023 14:30 32s
Daily tests Daily tests #509: Scheduled
July 28, 2023 19:32 3m 26s main
main
July 28, 2023 19:32 3m 26s
valgrind valgrind #45: Scheduled
July 28, 2023 19:02 3h 28m 7s main
main
July 28, 2023 19:02 3h 28m 7s
Yosys update Increment Version #239: Pull request #454 opened by alain-rs
July 27, 2023 19:49 30s yosys_update
yosys_update
July 27, 2023 19:49 30s
Yosys update yosys-verific CI #558: Pull request #454 opened by alain-rs
July 27, 2023 19:49 3h 10m 21s yosys_update
yosys_update
July 27, 2023 19:49 3h 10m 21s
Daily tests Daily tests #508: Scheduled
July 27, 2023 19:32 3m 6s main
main
July 27, 2023 19:32 3m 6s
update yosys with fix_EDA-1801 yosys-verific CI #557: Pull request #453 opened by thierryBesson
July 27, 2023 18:41 3h 3m 37s fix_EDA-1801
fix_EDA-1801
July 27, 2023 18:41 3h 3m 37s
update yosys with fix_EDA-1801 Increment Version #238: Pull request #453 opened by thierryBesson
July 27, 2023 18:41 39s fix_EDA-1801
fix_EDA-1801
July 27, 2023 18:41 39s
Daily tests Daily tests #507: Scheduled
July 26, 2023 19:31 3m 8s main
main
July 26, 2023 19:31 3m 8s
Daily tests Daily tests #506: Scheduled
July 25, 2023 19:31 3m 21s main
main
July 25, 2023 19:31 3m 21s
Daily tests Daily tests #505: Scheduled
July 24, 2023 19:32 3m 4s main
main
July 24, 2023 19:32 3m 4s
Daily tests Daily tests #504: Scheduled
July 21, 2023 19:32 3m 3s main
main
July 21, 2023 19:32 3m 3s
valgrind valgrind #44: Scheduled
July 21, 2023 19:02 3h 30m 8s main
main
July 21, 2023 19:02 3h 30m 8s
Marked Celldefine the bb primitives yosys-verific CI #556: Pull request #452 opened by alain-rs
July 20, 2023 23:55 3h 7m 52s mark_cell_define
mark_cell_define
July 20, 2023 23:55 3h 7m 52s
Marked Celldefine the bb primitives Increment Version #237: Pull request #452 opened by alain-rs
July 20, 2023 23:55 30s mark_cell_define
mark_cell_define
July 20, 2023 23:55 30s
filter cell primitives yosys-verific CI #555: Pull request #451 opened by alain-rs
July 20, 2023 23:24 2h 36m 15s support_lib_files
support_lib_files
July 20, 2023 23:24 2h 36m 15s