Skip to content

Actions: YosysHQ/yosys

Build and run tests (macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
67 workflow run results
67 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set src attribute for verific with full info
Build and run tests (macOS) #2199: Commit 18855f2 pushed by mmicko
September 19, 2023 10:00 43m 21s verific_lineinfo
September 19, 2023 10:00 43m 21s
Set src attribute for verific with full info
Build and run tests (macOS) #2198: Pull request #3943 opened by mmicko
September 19, 2023 09:36 34m 23s verific_lineinfo
September 19, 2023 09:36 34m 23s
Set src attribute for verific with full info
Build and run tests (macOS) #2197: Commit 43f9f6e pushed by mmicko
September 19, 2023 09:35 35m 37s verific_lineinfo
September 19, 2023 09:35 35m 37s
sv: support assignments within expressions
Build and run tests (macOS) #2196: Pull request #3920 synchronize by zachjs
September 19, 2023 03:47 41m 8s zachjs:asgn-expr
September 19, 2023 03:47 41m 8s
rtlil: Speeds up string decoding by 30%
Build and run tests (macOS) #2195: Pull request #3940 synchronize by QuantamHD
September 19, 2023 00:12 44m 1s QuantamHD:const_string_improvements
September 19, 2023 00:12 44m 1s
rtlil: Speeds up string decoding by 30%
Build and run tests (macOS) #2194: Pull request #3940 opened by QuantamHD
September 19, 2023 00:04 29m 45s QuantamHD:const_string_improvements
September 19, 2023 00:04 29m 45s
Manual rewrite and presentation merge
Build and run tests (macOS) #2193: Pull request #3907 synchronize by KrystalDelusion
September 18, 2023 23:30 50m 25s krys/docs
September 18, 2023 23:30 50m 25s
Merge updates from 'master' into krys/docs
Build and run tests (macOS) #2192: Commit 98d0e74 pushed by KrystalDelusion
September 18, 2023 23:30 43m 42s krys/docs
September 18, 2023 23:30 43m 42s
rtlil: Speeds up Yosys by 17%
Build and run tests (macOS) #2191: Pull request #3939 opened by QuantamHD
September 18, 2023 21:41 41m 44s QuantamHD:sigbit_equal
September 18, 2023 21:41 41m 44s
booth cleanup
Build and run tests (macOS) #2190: Pull request #3938 opened by povik
September 18, 2023 16:58 41m 29s povik:booth-cleanup
September 18, 2023 16:58 41m 29s
Merge pull request #3924 from andyfox-rushc/master
Build and run tests (macOS) #2189: Commit 54be4ac pushed by povik
September 18, 2023 14:47 47m 10s master
September 18, 2023 14:47 47m 10s
verific: Add test of accurate semantics in memory inference
Build and run tests (macOS) #2188: Pull request #3930 synchronize by povik
September 18, 2023 14:40 45m 30s povik:verific-test-memsemantics
September 18, 2023 14:40 45m 30s
Merge pull request #3933 from timkpaine/tkp/kernelheaders
Build and run tests (macOS) #2187: Commit 6dc7cc3 pushed by nakengelhardt
September 18, 2023 14:29 39m 45s master
September 18, 2023 14:29 39m 45s
Merge pull request #3925 from povik/ci-glibcxx-assertions
Build and run tests (macOS) #2186: Commit 39dc2c0 pushed by nakengelhardt
September 18, 2023 14:11 39m 45s master
September 18, 2023 14:11 39m 45s
Alphabetize kernel headers to be installed, include some missing required ones for plugins
Build and run tests (macOS) #2185: Pull request #3933 synchronize by timkpaine
September 15, 2023 18:31 42m 57s tkp/kernelheaders
September 15, 2023 18:31 42m 57s
Update ABC for WASI support.
Build and run tests (macOS) #2183: Commit c7d7cfe pushed by whitequark
September 13, 2023 15:43 50m 51s master
September 13, 2023 15:43 50m 51s
Update ABC for WASI support
Build and run tests (macOS) #2182: Pull request #3932 opened by whitequark
September 13, 2023 15:29 53m 19s whitequark:update-abc
September 13, 2023 15:29 53m 19s
Merge pull request #3931 from whitequark/update-abc
Build and run tests (macOS) #2181: Commit eada408 pushed by mmicko
September 13, 2023 11:41 1h 14m 8s master
September 13, 2023 11:41 1h 14m 8s
Merge pull request #3903 from jix/dft-future_ff
Build and run tests (macOS) #2180: Commit d79b4b2 pushed by mmicko
September 13, 2023 11:40 59m 50s master
September 13, 2023 11:40 59m 50s
Update ABC for WASI support
Build and run tests (macOS) #2179: Pull request #3931 synchronize by whitequark
September 13, 2023 11:39 52m 29s whitequark:update-abc
September 13, 2023 11:39 52m 29s
Update ABC for WASI support
Build and run tests (macOS) #2178: Pull request #3931 opened by whitequark
September 13, 2023 11:36 40m 43s whitequark:update-abc
September 13, 2023 11:36 40m 43s
Basic support for tag primitives and $future_ff
Build and run tests (macOS) #2177: Pull request #3903 synchronize by jix
September 13, 2023 11:17 41m 43s jix:dft-future_ff
September 13, 2023 11:17 41m 43s
verific: Add test of accurate semantics in memory inference
Build and run tests (macOS) #2176: Pull request #3930 opened by povik
September 13, 2023 10:51 39m 13s povik:verific-test-memsemantics
September 13, 2023 10:51 39m 13s
ci: Enable extra libstdc++ assertions
Build and run tests (macOS) #2175: Pull request #3925 synchronize by povik
September 12, 2023 17:45 57m 19s povik:ci-glibcxx-assertions
September 12, 2023 17:45 57m 19s
Merge pull request #3929 from YosysHQ/gatecat/fmt-fix
Build and run tests (macOS) #2174: Commit 05f0262 pushed by povik
September 12, 2023 17:44 39m 24s master
September 12, 2023 17:44 39m 24s