Skip to content

Actions: YosysHQ/sby

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Support for "abc --keep-going pdr" via new "pdr -X" mode ci #376: Pull request #263 synchronize by jix
March 6, 2024 11:26 5m 1s jix:pdr-X
jix:pdr-X
March 6, 2024 11:26 5m 1s
CodeQL CodeQL #182: Scheduled
March 6, 2024 02:12 2m 26s master
master
March 6, 2024 02:12 2m 26s
btor2aiger: Initial version ci #375: Commit 06079f6 pushed by KrystalDelusion
March 5, 2024 05:42 5m 8s krys/btor2aiger
krys/btor2aiger
March 5, 2024 05:42 5m 8s
Add formal_bind example ci #374: Pull request #264 opened by KrystalDelusion
March 5, 2024 02:29 5m 13s krys/vhd_example
krys/vhd_example
March 5, 2024 02:29 5m 13s
Add formal_bind example ci #373: Commit 549c5f3 pushed by KrystalDelusion
March 5, 2024 02:29 4m 57s krys/vhd_example
krys/vhd_example
March 5, 2024 02:29 4m 57s
CodeQL CodeQL #181: Scheduled
March 5, 2024 02:12 2m 39s master
master
March 5, 2024 02:12 2m 39s
CodeQL CodeQL #180: Scheduled
March 4, 2024 02:54 2m 27s master
master
March 4, 2024 02:54 2m 27s
CodeQL CodeQL #179: Scheduled
March 3, 2024 02:15 2m 34s master
master
March 3, 2024 02:15 2m 34s
CodeQL CodeQL #178: Scheduled
March 2, 2024 02:10 2m 31s master
master
March 2, 2024 02:10 2m 31s
CodeQL CodeQL #177: Scheduled
March 1, 2024 02:17 2m 29s master
master
March 1, 2024 02:17 2m 29s
CodeQL CodeQL #176: Scheduled
February 29, 2024 02:11 2m 34s master
master
February 29, 2024 02:11 2m 34s
Support for "abc --keep-going pdr" via new "pdr -X" mode ci #372: Pull request #263 synchronize by jix
February 28, 2024 15:51 41s jix:pdr-X
jix:pdr-X
February 28, 2024 15:51 41s
CodeQL CodeQL #175: Scheduled
February 28, 2024 02:14 2m 49s master
master
February 28, 2024 02:14 2m 49s
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
CodeQL CodeQL #174: Scheduled
February 27, 2024 02:11 2m 53s master
master
February 27, 2024 02:11 2m 53s
CodeQL CodeQL #173: Scheduled
February 26, 2024 02:16 2m 57s master
master
February 26, 2024 02:16 2m 57s
CodeQL CodeQL #172: Scheduled
February 25, 2024 02:15 2m 49s master
master
February 25, 2024 02:15 2m 49s