Skip to content

Actions: YosysHQ/sby

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
392 workflow runs
392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci ci #409: Scheduled
April 14, 2024 01:56 5m 3s main
main
April 14, 2024 01:56 5m 3s
ci ci #408: Scheduled
April 13, 2024 01:12 4m 58s main
main
April 13, 2024 01:12 4m 58s
ci ci #407: Scheduled
April 12, 2024 01:31 4m 54s main
main
April 12, 2024 01:31 4m 54s
ci ci #406: Scheduled
April 11, 2024 01:32 4m 57s main
main
April 11, 2024 01:32 4m 57s
Merge pull request #273 from YosysHQ/ci ci #405: Commit 415f404 pushed by mmicko
April 10, 2024 16:39 5m 39s main
main
April 10, 2024 16:39 5m 39s
Update CI scripts ci #404: Pull request #273 opened by mmicko
April 10, 2024 11:49 8m 44s ci
ci
April 10, 2024 11:49 8m 44s
Update CI scripts ci #403: Commit dfd4c8c pushed by mmicko
April 10, 2024 11:37 5m 7s ci
ci
April 10, 2024 11:37 5m 7s
Merge pull request #271 from YosysHQ/aiju/issue-269 ci #402: Commit b84cd93 pushed by mmicko
April 10, 2024 06:23 13m 32s yosys-0.40
yosys-0.40
April 10, 2024 06:23 13m 32s
Option to use btor2aiger to generate aig files from btor ci #401: Pull request #266 synchronize by KrystalDelusion
April 6, 2024 00:57 51s krys/btor2aiger
krys/btor2aiger
April 6, 2024 00:57 51s
btor2aiger: Add test ci #400: Commit f17a6e1 pushed by KrystalDelusion
April 6, 2024 00:57 1m 48s krys/btor2aiger
krys/btor2aiger
April 6, 2024 00:57 1m 48s
Option to use btor2aiger to generate aig files from btor ci #399: Pull request #266 synchronize by KrystalDelusion
April 6, 2024 00:20 8m 7s krys/btor2aiger
krys/btor2aiger
April 6, 2024 00:20 8m 7s
btor2aiger: Use asserts and assumes from .ywb file ci #398: Commit 28ee667 pushed by KrystalDelusion
April 6, 2024 00:20 6m 18s krys/btor2aiger
krys/btor2aiger
April 6, 2024 00:20 6m 18s
Merge pull request #271 from YosysHQ/aiju/issue-269 ci #397: Commit b84cd93 pushed by nakengelhardt
April 5, 2024 11:02 4m 55s main
main
April 5, 2024 11:02 4m 55s
Merge pull request #270 from YosysHQ/aiju/fix-timeout-test ci #396: Commit ebfb2ee pushed by mmicko
April 4, 2024 07:00 5m 20s main
main
April 4, 2024 07:00 5m 20s
Fixes issue #269 by removing an erroneous "if sbyfile" check. ci #395: Pull request #271 opened by aiju
April 2, 2024 12:37 4m 55s aiju/issue-269
aiju/issue-269
April 2, 2024 12:37 4m 55s
Fixes issue #269 by removing an erroneous "if sbyfile" check. ci #394: Commit da46e19 pushed by aiju
April 2, 2024 12:37 5m 7s aiju/issue-269
aiju/issue-269
April 2, 2024 12:37 5m 7s
Replace the 'primes' test in junit_timeout_error.sby with a new test … ci #393: Pull request #270 opened by aiju
April 2, 2024 10:48 5m 1s aiju/fix-timeout-test
aiju/fix-timeout-test
April 2, 2024 10:48 5m 1s
Replace the 'primes' test in junit_timeout_error.sby with a new test … ci #392: Commit 725038d pushed by aiju
April 2, 2024 10:46 4m 59s aiju/fix-timeout-test
aiju/fix-timeout-test
April 2, 2024 10:46 4m 59s
Merge pull request #268 from YosysHQ/KrystalDelusion-patch-1 ci #391: Commit e30a0fe pushed by nakengelhardt
March 18, 2024 14:05 5m 1s main
main
March 18, 2024 14:05 5m 1s
Option to use btor2aiger to generate aig files from btor ci #390: Pull request #266 synchronize by KrystalDelusion
March 12, 2024 17:59 4m 58s krys/btor2aiger
krys/btor2aiger
March 12, 2024 17:59 4m 58s
btor2aiger: Install btor2aig_yw ci #389: Commit 49750a9 pushed by KrystalDelusion
March 12, 2024 17:59 5m 3s krys/btor2aiger
krys/btor2aiger
March 12, 2024 17:59 5m 3s
Merge pull request #268 from YosysHQ/KrystalDelusion-patch-1 ci #388: Commit e30a0fe pushed by mmicko
March 12, 2024 08:00 12m 8s yosys-0.39
yosys-0.39
March 12, 2024 08:00 12m 8s
Merge pull request #268 from YosysHQ/KrystalDelusion-patch-1 ci #387: Commit e30a0fe pushed by jix
March 11, 2024 23:37 4m 53s master
master
March 11, 2024 23:37 4m 53s
Option to use btor2aiger to generate aig files from btor ci #386: Pull request #266 synchronize by KrystalDelusion
March 11, 2024 22:18 5m 24s krys/btor2aiger
krys/btor2aiger
March 11, 2024 22:18 5m 24s
Pre-format conditional flags in write_btor ci #385: Commit 5c762ad pushed by KrystalDelusion
March 11, 2024 22:18 4m 50s krys/btor2aiger
krys/btor2aiger
March 11, 2024 22:18 4m 50s
ProTip! You can narrow down the results and go further in time using created:<2024-03-11 or the other filters available.