Skip to content

Actions: YosysHQ/yosys

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,866 workflow run results
6,866 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

frontend: Fixes verific import around range order
Build and test doc code samples #152: Pull request #4379 opened by QuantamHD
May 8, 2024 01:03 11m 20s QuantamHD:fix_verific
May 8, 2024 01:03 11m 20s
frontend: Fixes verific import around range order
Emscripten Build #2599: Pull request #4379 opened by QuantamHD
May 8, 2024 01:03 14m 5s QuantamHD:fix_verific
May 8, 2024 01:03 14m 5s
frontend: Fixes verific import around range order
WASI Build #950: Pull request #4379 opened by QuantamHD
May 8, 2024 01:03 15m 41s QuantamHD:fix_verific
May 8, 2024 01:03 15m 41s
Bump version
Bump version #1018: Scheduled
May 8, 2024 00:13 18s main
May 8, 2024 00:13 18s
Merge pull request #4377 from jix/smtbmc-incremental-improvements
Visual Studio Build #4245: Commit c9d87d5 pushed by mmicko
May 7, 2024 19:35 10m 37s main
May 7, 2024 19:35 10m 37s
Merge pull request #4377 from jix/smtbmc-incremental-improvements
Emscripten Build #2598: Commit c9d87d5 pushed by mmicko
May 7, 2024 19:35 13m 35s main
May 7, 2024 19:35 13m 35s
Merge pull request #4377 from jix/smtbmc-incremental-improvements
WASI Build #949: Commit c9d87d5 pushed by mmicko
May 7, 2024 19:35 15m 25s main
May 7, 2024 19:35 15m 25s
Merge pull request #4377 from jix/smtbmc-incremental-improvements
Build and run tests (macOS) #3422: Commit c9d87d5 pushed by mmicko
May 7, 2024 19:35 23m 27s main
May 7, 2024 19:35 23m 27s
Merge pull request #4377 from jix/smtbmc-incremental-improvements
Build and run tests (Linux) #3420: Commit c9d87d5 pushed by mmicko
May 7, 2024 19:35 23m 47s main
May 7, 2024 19:35 23m 47s
Merge pull request #4377 from jix/smtbmc-incremental-improvements
Build and run tests with Verific (Linux) #123: Commit c9d87d5 pushed by mmicko
May 7, 2024 19:35 8m 10s main
May 7, 2024 19:35 8m 10s
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
Build and run tests (Linux) #3419: Commit 8735107 pushed by nakengelhardt
May 7, 2024 19:11 24m 2s main
May 7, 2024 19:11 24m 2s
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
Build and run tests with Verific (Linux) #122: Commit 8735107 pushed by nakengelhardt
May 7, 2024 19:11 7m 58s main
May 7, 2024 19:11 7m 58s
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
Visual Studio Build #4244: Commit 8735107 pushed by nakengelhardt
May 7, 2024 19:11 11m 21s main
May 7, 2024 19:11 11m 21s
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
WASI Build #948: Commit 8735107 pushed by nakengelhardt
May 7, 2024 19:11 15m 42s main
May 7, 2024 19:11 15m 42s
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
Emscripten Build #2597: Commit 8735107 pushed by nakengelhardt
May 7, 2024 19:11 13m 1s main
May 7, 2024 19:11 13m 1s
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
Build and run tests (macOS) #3421: Commit 8735107 pushed by nakengelhardt
May 7, 2024 19:11 28m 39s main
May 7, 2024 19:11 28m 39s
read_verilog: Add missing defaults for flags
WASI Build #947: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 26m 21s fix_read_verilog_defaults
May 7, 2024 18:26 26m 21s
read_verilog: Add missing defaults for flags
Build and run tests (macOS) #3420: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 24m 7s fix_read_verilog_defaults
May 7, 2024 18:26 24m 7s
read_verilog: Add missing defaults for flags
Visual Studio Build #4243: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 21m 1s fix_read_verilog_defaults
May 7, 2024 18:26 21m 1s
read_verilog: Add missing defaults for flags
Build and test doc code samples #151: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 21m 22s fix_read_verilog_defaults
May 7, 2024 18:26 21m 22s
read_verilog: Add missing defaults for flags
Build and run tests (Linux) #3418: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 35m 6s fix_read_verilog_defaults
May 7, 2024 18:26 35m 6s
read_verilog: Add missing defaults for flags
Build and run tests with Verific (Linux) #121: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 4m 24s fix_read_verilog_defaults
May 7, 2024 18:26 4m 24s
read_verilog: Add missing defaults for flags
Emscripten Build #2596: Pull request #4321 synchronize by nakengelhardt
May 7, 2024 18:26 13m 25s fix_read_verilog_defaults
May 7, 2024 18:26 13m 25s
read_verilog: Add missing defaults for flags
Build and run tests (Linux) #3417: Commit df95ea8 pushed by nakengelhardt
May 7, 2024 18:26 24m 41s fix_read_verilog_defaults
May 7, 2024 18:26 24m 41s