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

valgrind valgrind #66: Scheduled
December 22, 2023 19:03 6h 0m 42s main
main
December 22, 2023 19:03 6h 0m 42s
DSP19X2_OBUFT inference support added yosys-verific CI #647: Pull request #519 synchronize by ayyazahmed-rs
December 22, 2023 13:32 3h 21m 4s dsp19x2_OBUFT_inference
dsp19x2_OBUFT_inference
December 22, 2023 13:32 3h 21m 4s
DSP19X2_OBUFT inference support added yosys-verific CI #646: Pull request #519 opened by ayyazahmed-rs
December 22, 2023 10:49 1h 11m 35s dsp19x2_OBUFT_inference
dsp19x2_OBUFT_inference
December 22, 2023 10:49 1h 11m 35s
DSP19X2_OBUFT inference support added Increment Version #304: Pull request #519 opened by ayyazahmed-rs
December 22, 2023 10:49 34s dsp19x2_OBUFT_inference
dsp19x2_OBUFT_inference
December 22, 2023 10:49 34s
Daily tests Daily tests #618: Scheduled
December 21, 2023 19:32 11m 1s main
main
December 21, 2023 19:32 11m 1s
update de.7.3 in logic_synthesis-rs yosys-verific CI #645: Pull request #518 opened by thierryBesson
December 21, 2023 17:56 3h 38m 47s de.7.3
de.7.3
December 21, 2023 17:56 3h 38m 47s
update de.7.3 in logic_synthesis-rs Increment Version #303: Pull request #518 opened by thierryBesson
December 21, 2023 17:56 36s de.7.3
de.7.3
December 21, 2023 17:56 36s
Daily tests Daily tests #617: Scheduled
December 20, 2023 19:32 11m 42s main
main
December 20, 2023 19:32 11m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-12-20 or the other filters available.