Skip to content

Actions: YosysHQ/sby

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #193: Scheduled
March 17, 2024 02:14 3m 6s master
master
March 17, 2024 02:14 3m 6s
CodeQL CodeQL #192: Scheduled
March 16, 2024 02:12 2m 51s master
master
March 16, 2024 02:12 2m 51s
CodeQL CodeQL #191: Scheduled
March 15, 2024 02:14 3m 11s master
master
March 15, 2024 02:14 3m 11s
CodeQL CodeQL #190: Scheduled
March 14, 2024 02:12 2m 56s master
master
March 14, 2024 02:12 2m 56s
CodeQL CodeQL #189: Scheduled
March 13, 2024 02:15 2m 56s master
master
March 13, 2024 02:15 2m 56s
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
CodeQL CodeQL #188: Scheduled
March 12, 2024 02:12 2m 30s master
master
March 12, 2024 02:12 2m 30s
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
Update sby_engine_abc.py ci #384: Pull request #268 opened by KrystalDelusion
March 11, 2024 21:48 5m 7s KrystalDelusion-patch-1
KrystalDelusion-patch-1
March 11, 2024 21:48 5m 7s
Update sby_engine_abc.py ci #383: Commit 6c8b838 pushed by KrystalDelusion
March 11, 2024 21:48 5m 3s KrystalDelusion-patch-1
KrystalDelusion-patch-1
March 11, 2024 21:48 5m 3s
Merge pull request #267 from jix/sby-status-errormsg ci #382: Commit c73cd3e pushed by jix
March 11, 2024 16:04 5m 8s master
master
March 11, 2024 16:04 5m 8s
Improved CLI behavior when not specifying a config or existing workdir ci #381: Pull request #267 opened by jix
March 11, 2024 15:40 5m 0s jix:sby-status-errormsg
jix:sby-status-errormsg
March 11, 2024 15:40 5m 0s
CodeQL CodeQL #187: Scheduled
March 11, 2024 02:14 2m 25s master
master
March 11, 2024 02:14 2m 25s
CodeQL CodeQL #186: Scheduled
March 10, 2024 02:17 2m 31s master
master
March 10, 2024 02:17 2m 31s
Option to use btor2aiger to generate aig files from btor ci #380: Pull request #266 opened by KrystalDelusion
March 9, 2024 04:21 4m 48s krys/btor2aiger
krys/btor2aiger
March 9, 2024 04:21 4m 48s
btor2aiger: It kinda works? ci #379: Commit ed8f6e0 pushed by KrystalDelusion
March 9, 2024 04:17 4m 52s krys/btor2aiger
krys/btor2aiger
March 9, 2024 04:17 4m 52s
CodeQL CodeQL #185: Scheduled
March 9, 2024 02:09 2m 43s master
master
March 9, 2024 02:09 2m 43s
btor2aiger: Initial version ci #378: Commit 5483df5 pushed by KrystalDelusion
March 8, 2024 21:37 4m 56s krys/btor2aiger
krys/btor2aiger
March 8, 2024 21:37 4m 56s
CodeQL CodeQL #184: Scheduled
March 8, 2024 02:13 2m 28s master
master
March 8, 2024 02:13 2m 28s
CodeQL CodeQL #183: Scheduled
March 7, 2024 02:06 2m 30s master
master
March 7, 2024 02:06 2m 30s
Merge pull request #263 from jix/pdr-X ci #377: Commit 0c84510 pushed by jix
March 6, 2024 16:07 5m 14s master
master
March 6, 2024 16:07 5m 14s