Skip to content

Actions: YosysHQ/sby

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
399 workflow runs
399 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for "abc --keep-going pdr" via new "pdr -X" mode ci #371: Pull request #263 synchronize by jix
February 27, 2024 19:11 43s jix:pdr-X
jix:pdr-X
February 27, 2024 19:11 43s
Support for "abc --keep-going pdr" via new "pdr -X" mode ci #370: Pull request #263 opened by jix
February 20, 2024 13:08 49s jix:pdr-X
jix:pdr-X
February 20, 2024 13:08 49s
Initial support for a multi-task property status database ci #369: Pull request #262 synchronize by jix
February 20, 2024 12:35 5m 17s jix:status-db
jix:status-db
February 20, 2024 12:35 5m 17s
Initial support for a multi-task property status database ci #368: Pull request #262 opened by jix
February 19, 2024 20:13 4m 56s jix:status-db
jix:status-db
February 19, 2024 20:13 4m 56s
Merge pull request #260 from jix/prepare-check ci #367: Commit 5c649c8 pushed by mmicko
February 9, 2024 07:20 12m 34s yosys-0.38
yosys-0.38
February 9, 2024 07:20 12m 34s
Merge pull request #260 from jix/prepare-check ci #366: Commit 5c649c8 pushed by jix
February 1, 2024 14:34 4m 15s master
master
February 1, 2024 14:34 4m 15s
Merge pull request #258 from jix/sby_cmd ci #365: Commit cde9e57 pushed by jix
January 29, 2024 14:16 6m 3s master
master
January 29, 2024 14:16 6m 3s
Merge pull request #261 from YosysHQ/workflows ci #364: Commit 056ced9 pushed by mmicko
January 29, 2024 08:37 4m 17s master
master
January 29, 2024 08:37 4m 17s
Update workflows ci #363: Pull request #261 synchronize by mmicko
January 29, 2024 07:48 4m 27s workflows
workflows
January 29, 2024 07:48 4m 27s
Update workflows ci #362: Commit 44ccad3 pushed by mmicko
January 29, 2024 07:48 4m 20s workflows
workflows
January 29, 2024 07:48 4m 20s
Update workflows ci #361: Pull request #261 opened by mmicko
January 29, 2024 07:21 4m 11s workflows
workflows
January 29, 2024 07:21 4m 11s
Update workflows ci #360: Commit 6385b05 pushed by mmicko
January 29, 2024 07:20 4m 11s workflows
workflows
January 29, 2024 07:20 4m 11s
sby_design: Also track fairness assumptions ci #359: Pull request #260 opened by jix
January 24, 2024 15:09 4m 16s jix:prepare-check
jix:prepare-check
January 24, 2024 15:09 4m 16s
Merge pull request #259 from jix/prepare-check ci #358: Commit bd9e218 pushed by jix
January 23, 2024 09:05 4m 18s master
master
January 23, 2024 09:05 4m 18s
Prepare SBY for upcomming $check cell support and prevent backend failure for $print cells ci #357: Pull request #259 opened by jix
January 22, 2024 17:50 4m 13s jix:prepare-check
jix:prepare-check
January 22, 2024 17:50 4m 13s
tests: Support testing an installed SBY using the SBY_CMD make variable ci #356: Pull request #258 opened by jix
January 19, 2024 13:54 4m 17s jix:sby_cmd
jix:sby_cmd
January 19, 2024 13:54 4m 17s
Merge pull request #254 from daxzio/prefix_fix ci #355: Commit 130aa37 pushed by mmicko
January 16, 2024 07:17 11m 50s yosys-0.37
yosys-0.37
January 16, 2024 07:17 11m 50s
Merge pull request #254 from daxzio/prefix_fix ci #354: Commit 130aa37 pushed by nakengelhardt
January 15, 2024 15:11 4m 29s master
master
January 15, 2024 15:11 4m 29s
tools/cexenum: Add '--callback' option and refactor enumeration loop ci #353: Pull request #256 synchronize by jix
December 14, 2023 16:35 4m 36s jix:cexenum
jix:cexenum
December 14, 2023 16:35 4m 36s
tools/cexenum: Add '--callback' option and refactor enumeration loop ci #352: Pull request #256 opened by jix
December 14, 2023 16:34 4m 20s jix:cexenum
jix:cexenum
December 14, 2023 16:34 4m 20s
Merge pull request #252 from jix/cexenum ci #351: Commit f0f140c pushed by mmicko
December 5, 2023 07:59 12m 46s yosys-0.36
yosys-0.36
December 5, 2023 07:59 12m 46s
Merge pull request #252 from jix/cexenum ci #349: Commit f0f140c pushed by jix
November 20, 2023 16:04 4m 25s master
master
November 20, 2023 16:04 4m 25s
Add aigcxemin and cexenum.py tools ci #348: Pull request #252 opened by jix
November 16, 2023 12:48 4m 34s jix:cexenum
jix:cexenum
November 16, 2023 12:48 4m 34s
Merge pull request #250 from jix/dft-data-diode ci #347: Commit 9e35ec9 pushed by mmicko
November 7, 2023 07:48 8m 5s yosys-0.35
yosys-0.35
November 7, 2023 07:48 8m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.