Skip to content

Actions: YosysHQ/sby

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
391 workflow runs
391 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci ci #633: Scheduled
October 11, 2024 01:56 4m 36s main
main
October 11, 2024 01:56 4m 36s
ci ci #632: Scheduled
October 10, 2024 01:56 4m 52s main
main
October 10, 2024 01:56 4m 52s
Merge pull request #298 from YosysHQ/george/smtbmc_paths ci #631: Commit 117fb26 pushed by mmicko
October 9, 2024 07:56 5m 49s yosys-0.46
yosys-0.46
October 9, 2024 07:56 5m 49s
ci ci #630: Scheduled
October 9, 2024 01:56 4m 47s main
main
October 9, 2024 01:56 4m 47s
ci ci #629: Scheduled
October 8, 2024 01:57 4m 52s main
main
October 8, 2024 01:57 4m 52s
Merge pull request #298 from YosysHQ/george/smtbmc_paths ci #628: Commit 117fb26 pushed by jix
October 7, 2024 18:36 5m 45s main
main
October 7, 2024 18:36 5m 45s
ci ci #627: Scheduled
October 7, 2024 02:02 4h 37m 11s main
main
October 7, 2024 02:02 4h 37m 11s
ci ci #626: Scheduled
October 6, 2024 02:07 4m 49s main
main
October 6, 2024 02:07 4m 49s
ci ci #625: Scheduled
October 5, 2024 01:55 4m 51s main
main
October 5, 2024 01:55 4m 51s
ci ci #624: Scheduled
October 4, 2024 01:57 4m 54s main
main
October 4, 2024 01:57 4m 54s
ci ci #623: Scheduled
October 3, 2024 01:57 4m 58s main
main
October 3, 2024 01:57 4m 58s
ci ci #622: Scheduled
October 2, 2024 01:56 4h 20m 28s main
main
October 2, 2024 01:56 4h 20m 28s
ci ci #621: Scheduled
October 1, 2024 02:10 4m 47s main
main
October 1, 2024 02:10 4m 47s
ci ci #620: Scheduled
September 30, 2024 02:03 5m 6s main
main
September 30, 2024 02:03 5m 6s
ci ci #619: Scheduled
September 29, 2024 02:08 5m 3s main
main
September 29, 2024 02:08 5m 3s
ci ci #618: Scheduled
September 28, 2024 01:55 5m 6s main
main
September 28, 2024 01:55 5m 6s
Merge pull request #276 from YosysHQ/krys/test-furo-ys ci #617: Commit 62d1708 pushed by jix
September 27, 2024 12:21 5m 8s main
main
September 27, 2024 12:21 5m 8s
ci ci #616: Scheduled
September 27, 2024 01:57 5m 8s main
main
September 27, 2024 01:57 5m 8s
ci ci #615: Scheduled
September 26, 2024 01:56 4m 59s main
main
September 26, 2024 01:56 4m 59s
ci ci #614: Scheduled
September 25, 2024 01:58 4m 51s main
main
September 25, 2024 01:58 4m 51s
smtbmc: match on full property paths instead of just names ci #613: Pull request #298 synchronize by georgerennie
September 24, 2024 02:14 9m 49s george/smtbmc_paths
george/smtbmc_paths
September 24, 2024 02:14 9m 49s
smtbmc: match on full property paths instead of just names ci #612: Commit 9583985 pushed by georgerennie
September 24, 2024 02:14 5m 2s george/smtbmc_paths
george/smtbmc_paths
September 24, 2024 02:14 5m 2s
smtbmc: match on full property paths instead of just names ci #611: Pull request #298 synchronize by georgerennie
September 24, 2024 02:11 1m 15s george/smtbmc_paths
george/smtbmc_paths
September 24, 2024 02:11 1m 15s
smtbmc: match on full property paths instead of just names ci #610: Commit 9a8bd7b pushed by georgerennie
September 24, 2024 02:11 1m 40s george/smtbmc_paths
george/smtbmc_paths
September 24, 2024 02:11 1m 40s
smtbmc: match on full property paths instead of just names ci #609: Pull request #298 opened by georgerennie
September 24, 2024 02:09 2m 20s george/smtbmc_paths
george/smtbmc_paths
September 24, 2024 02:09 2m 20s