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

Support rIC3 model checker as backend ci #709: Pull request #313 opened by gipsyh
December 7, 2024 14:31 4m 38s gipsyh:rIC3
gipsyh:rIC3
December 7, 2024 14:31 4m 38s
ci ci #708: Scheduled
December 7, 2024 02:09 4m 44s main
main
December 7, 2024 02:09 4m 44s
ci ci #707: Scheduled
December 6, 2024 02:11 4m 39s main
main
December 6, 2024 02:11 4m 39s
ci ci #706: Scheduled
December 5, 2024 02:12 4m 52s main
main
December 5, 2024 02:12 4m 52s
Bump anstream from 0.6.4 to 0.6.18 in /tools/aigcexmin ci #705: Pull request #312 opened by dependabot bot
December 4, 2024 18:37 5m 7s dependabot/cargo/tools/aigcexmin/anstream-0.6.18
dependabot/cargo/tools/aigcexmin/anstream-0.6.18
December 4, 2024 18:37 5m 7s
Bump anstream from 0.6.4 to 0.6.18 in /tools/aigcexmin ci #704: Commit ff9aac7 pushed by dependabot bot
December 4, 2024 18:37 5m 5s dependabot/cargo/tools/aigcexmin/anstream-0.6.18
dependabot/cargo/tools/aigcexmin/anstream-0.6.18
December 4, 2024 18:37 5m 5s
ci ci #703: Scheduled
December 4, 2024 02:12 4m 53s main
main
December 4, 2024 02:12 4m 53s
ci ci #702: Scheduled
December 3, 2024 02:11 4m 41s main
main
December 3, 2024 02:11 4m 41s
ci ci #701: Scheduled
December 2, 2024 02:13 4m 43s main
main
December 2, 2024 02:13 4m 43s
ci ci #700: Scheduled
December 1, 2024 02:27 4m 39s main
main
December 1, 2024 02:27 4m 39s
ci ci #699: Scheduled
November 30, 2024 02:06 4m 38s main
main
November 30, 2024 02:06 4m 38s
ci ci #698: Scheduled
November 29, 2024 02:09 4m 39s main
main
November 29, 2024 02:09 4m 39s
ci ci #697: Scheduled
November 28, 2024 02:09 4m 47s main
main
November 28, 2024 02:09 4m 47s
ci ci #696: Scheduled
November 27, 2024 02:10 4m 43s main
main
November 27, 2024 02:10 4m 43s
ci ci #695: Scheduled
November 26, 2024 02:08 4m 46s main
main
November 26, 2024 02:08 4m 46s
ci ci #694: Scheduled
November 25, 2024 02:09 4m 53s main
main
November 25, 2024 02:09 4m 53s
ci ci #693: Scheduled
November 24, 2024 02:13 5m 38s main
main
November 24, 2024 02:13 5m 38s
ci ci #692: Scheduled
November 23, 2024 01:58 4m 45s main
main
November 23, 2024 01:58 4m 45s
ci ci #691: Scheduled
November 22, 2024 02:07 4m 40s main
main
November 22, 2024 02:07 4m 40s
ci ci #690: Scheduled
November 21, 2024 02:06 4m 55s main
main
November 21, 2024 02:06 4m 55s
ci ci #689: Scheduled
November 20, 2024 02:06 4m 54s main
main
November 20, 2024 02:06 4m 54s
[docs] instruct to clone yosys with '--recurse-submodules' ci #687: Pull request #310 opened by sporniket
November 19, 2024 06:10 4m 42s sporniket:patch-1
sporniket:patch-1
November 19, 2024 06:10 4m 42s
ci ci #686: Scheduled
November 19, 2024 02:07 4m 50s main
main
November 19, 2024 02:07 4m 50s
ci ci #685: Scheduled
November 18, 2024 02:10 4m 50s main
main
November 18, 2024 02:10 4m 50s
ci ci #684: Scheduled
November 17, 2024 02:12 4m 38s main
main
November 17, 2024 02:12 4m 38s