Skip to content

Actions: os-fpga/yosys_verific_rs

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

valgrind valgrind #51: Scheduled
September 8, 2023 19:02 4h 9m 11s main
main
September 8, 2023 19:02 4h 9m 11s
Daily tests Daily tests #543: Scheduled
September 7, 2023 19:32 13m 11s main
main
September 7, 2023 19:32 13m 11s
New Yosys analyze command Increment Version #262: Pull request #477 opened by alain-rs
September 7, 2023 17:01 36s yosys_analyse
yosys_analyse
September 7, 2023 17:01 36s
New Yosys analyze command yosys-verific CI #589: Pull request #477 opened by alain-rs
September 7, 2023 17:01 2h 48m 35s yosys_analyse
yosys_analyse
September 7, 2023 17:01 2h 48m 35s
Daily tests Daily tests #542: Scheduled
September 6, 2023 19:32 12m 55s main
main
September 6, 2023 19:32 12m 55s
Daily tests Daily tests #541: Scheduled
September 5, 2023 19:32 12m 57s main
main
September 5, 2023 19:32 12m 57s
Daily tests Daily tests #540: Scheduled
September 4, 2023 19:32 13m 10s main
main
September 4, 2023 19:32 13m 10s
Daily tests Daily tests #539: Scheduled
September 1, 2023 19:32 12m 11s main
main
September 1, 2023 19:32 12m 11s
valgrind valgrind #50: Scheduled
September 1, 2023 19:08 4h 57m 48s main
main
September 1, 2023 19:08 4h 57m 48s
Daily tests Daily tests #538: Scheduled
August 31, 2023 19:32 12m 39s main
main
August 31, 2023 19:32 12m 39s
Daily tests Daily tests #537: Scheduled
August 30, 2023 19:34 14m 19s main
main
August 30, 2023 19:34 14m 19s
yosys validation script is updated yosys-verific CI #588: Pull request #476 opened by awaisabbas-rs
August 30, 2023 10:46 3h 15m 12s Daily_test
Daily_test
August 30, 2023 10:46 3h 15m 12s
yosys validation script is updated Increment Version #261: Pull request #476 opened by awaisabbas-rs
August 30, 2023 10:46 38s Daily_test
Daily_test
August 30, 2023 10:46 38s
Validation Suite Updated yosys-verific CI #587: Pull request #475 synchronize by awaisabbas-rs
August 30, 2023 07:21 2h 29m 54s Daily_test
Daily_test
August 30, 2023 07:21 2h 29m 54s
Validation Suite Updated Increment Version #260: Pull request #475 opened by awaisabbas-rs
August 30, 2023 06:18 38s Daily_test
Daily_test
August 30, 2023 06:18 38s
Validation Suite Updated yosys-verific CI #586: Pull request #475 opened by awaisabbas-rs
August 30, 2023 06:18 1h 4m 6s Daily_test
Daily_test
August 30, 2023 06:18 1h 4m 6s
Daily tests Daily tests #536: Scheduled
August 29, 2023 19:34 12m 9s main
main
August 29, 2023 19:34 12m 9s
Daily tests Daily tests #535: Scheduled
August 28, 2023 19:34 12m 55s main
main
August 28, 2023 19:34 12m 55s
fix eof yosys-verific CI #585: Pull request #474 opened by alaindargelas
August 28, 2023 18:48 2h 45m 46s fix_eof
fix_eof
August 28, 2023 18:48 2h 45m 46s
fix eof Increment Version #259: Pull request #474 opened by alaindargelas
August 28, 2023 18:48 35s fix_eof
fix_eof
August 28, 2023 18:48 35s
updating CMAKE yosys-verific CI #584: Pull request #469 synchronize by alaindargelas
August 28, 2023 18:40 7m 16s updating_cmake
updating_cmake
August 28, 2023 18:40 7m 16s
EDA 1827 Fix: CI for daily test is updated yosys-verific CI #583: Pull request #472 synchronize by alaindargelas
August 28, 2023 18:39 2h 29m 14s Daily_test
Daily_test
August 28, 2023 18:39 2h 29m 14s
updated submodule Increment Version #258: Pull request #473 opened by ayyazahmed-rs
August 28, 2023 11:56 47s EDA-1957
EDA-1957
August 28, 2023 11:56 47s
updated submodule yosys-verific CI #582: Pull request #473 opened by ayyazahmed-rs
August 28, 2023 11:56 3h 14m 13s EDA-1957
EDA-1957
August 28, 2023 11:56 3h 14m 13s
EDA 1827 Fix: CI for daily test is updated Increment Version #257: Pull request #472 opened by awaisabbas-rs
August 28, 2023 08:28 38s Daily_test
Daily_test
August 28, 2023 08:28 38s