Skip to content

Actions: YosysHQ/yosys

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,321 workflow run results
7,321 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4431 from jix/smtbmc-fixes
Test extra build flows #208: Commit baccf87 pushed by mmicko
June 6, 2024 16:19 18s main
June 6, 2024 16:19 18s
Merge pull request #4431 from jix/smtbmc-fixes
Build and run tests #177: Commit baccf87 pushed by mmicko
June 6, 2024 16:19 19s main
June 6, 2024 16:19 19s
Merge pull request #4431 from jix/smtbmc-fixes
Compiler testing #172: Commit baccf87 pushed by mmicko
June 6, 2024 16:19 15s main
June 6, 2024 16:19 15s
Merge pull request #4431 from jix/smtbmc-fixes
Build and run tests with Verific (Linux) #355: Commit baccf87 pushed by mmicko
June 6, 2024 16:19 7m 58s main
June 6, 2024 16:19 7m 58s
Run SBY tests always
Build and run tests with Verific (Linux) #354: Commit 6d16122 pushed by mmicko
June 6, 2024 16:09 7m 56s jix-smtbmc-fixes
June 6, 2024 16:09 7m 56s
Run SBY tests always
Compiler testing #171: Commit 6d16122 pushed by mmicko
June 6, 2024 16:09 2m 2s jix-smtbmc-fixes
June 6, 2024 16:09 2m 2s
Run SBY tests always
Build and run tests #176: Commit 6d16122 pushed by mmicko
June 6, 2024 16:09 2m 4s jix-smtbmc-fixes
June 6, 2024 16:09 2m 4s
Run SBY tests always
Test extra build flows #207: Commit 6d16122 pushed by mmicko
June 6, 2024 16:09 2m 8s jix-smtbmc-fixes
June 6, 2024 16:09 2m 8s
smtbmc: Fix two .yw handling related crashes
Build and run tests with Verific (Linux) #353: Pull request #4431 opened by jix
June 6, 2024 15:45 4m 8s jix:smtbmc-fixes
June 6, 2024 15:45 4m 8s
smtbmc: Fix two .yw handling related crashes
Build and run tests #175: Pull request #4431 opened by jix
June 6, 2024 15:45 22m 42s jix:smtbmc-fixes
June 6, 2024 15:45 22m 42s
smtbmc: Fix two .yw handling related crashes
Test extra build flows #206: Pull request #4431 opened by jix
June 6, 2024 15:45 15m 54s jix:smtbmc-fixes
June 6, 2024 15:45 15m 54s
smtbmc: Fix two .yw handling related crashes
Compiler testing #170: Pull request #4431 opened by jix
June 6, 2024 15:45 21m 18s jix:smtbmc-fixes
June 6, 2024 15:45 21m 18s
CodeQL
CodeQL #633: Scheduled
June 6, 2024 03:01 23m 43s main
June 6, 2024 03:01 23m 43s
Bump version
Bump version #1047: Scheduled
June 6, 2024 00:16 25s main
June 6, 2024 00:16 25s
fix stuff, don't strip
Build and run tests #174: Commit b85062f pushed by widlarizer
June 5, 2024 20:21 19m 18s emil/tracy
June 5, 2024 20:21 19m 18s
fix stuff, don't strip
Compiler testing #169: Commit b85062f pushed by widlarizer
June 5, 2024 20:21 23m 24s emil/tracy
June 5, 2024 20:21 23m 24s
fix stuff, don't strip
Test extra build flows #205: Commit b85062f pushed by widlarizer
June 5, 2024 20:21 13m 58s emil/tracy
June 5, 2024 20:21 13m 58s
fix stuff, don't strip
Build and run tests with Verific (Linux) #352: Commit b85062f pushed by widlarizer
June 5, 2024 20:21 3m 27s emil/tracy
June 5, 2024 20:21 3m 27s
CodeQL
CodeQL #632: Scheduled
June 5, 2024 03:01 25m 42s main
June 5, 2024 03:01 25m 42s
Quote stripping in log command
Build and run tests with Verific (Linux) #351: Pull request #4429 opened by KrystalDelusion
June 5, 2024 01:12 14s krys/quotes
June 5, 2024 01:12 14s
Quote stripping in log command
Test extra build flows #204: Pull request #4429 opened by KrystalDelusion
June 5, 2024 01:12 14s krys/quotes
June 5, 2024 01:12 14s
Quote stripping in log command
Compiler testing #168: Pull request #4429 opened by KrystalDelusion
June 5, 2024 01:12 14s krys/quotes
June 5, 2024 01:12 14s
Quote stripping in log command
Build and run tests #173: Pull request #4429 opened by KrystalDelusion
June 5, 2024 01:12 16s krys/quotes
June 5, 2024 01:12 16s
Docs: Update example_synth
Test extra build flows #203: Commit a44a066 pushed by KrystalDelusion
June 5, 2024 01:09 15m 56s krys/quotes
June 5, 2024 01:09 15m 56s
Docs: Update example_synth
Build and run tests #172: Commit a44a066 pushed by KrystalDelusion
June 5, 2024 01:09 22m 33s krys/quotes
June 5, 2024 01:09 22m 33s