Skip to content

Actions: YosysHQ/yosys

Build and run tests (macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
44 workflow run results
44 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3930 from povik/verific-test-memsemantics
Build and run tests (macOS) #2207: Commit c4762d9 pushed by povik
September 20, 2023 09:46 42m 6s master
September 20, 2023 09:46 42m 6s
Merge pull request #3920 from zachjs/asgn-expr
Build and run tests (macOS) #2206: Commit 99a5773 pushed by povik
September 20, 2023 09:30 43m 25s master
September 20, 2023 09:30 43m 25s
Speed up the autoname pass by 3x.
Build and run tests (macOS) #2205: Pull request #3945 synchronize by rmlarsen
September 19, 2023 20:36 40m 33s rmlarsen:autoname
September 19, 2023 20:36 40m 33s
Merge pull request #3943 from YosysHQ/verific_lineinfo
Build and run tests (macOS) #2201: Commit 8fb807c pushed by mmicko
September 19, 2023 10:55 39m 55s master
September 19, 2023 10:55 39m 55s
Set src attribute for verific with full info
Build and run tests (macOS) #2200: Pull request #3943 synchronize by mmicko
September 19, 2023 10:00 50m 22s verific_lineinfo
September 19, 2023 10:00 50m 22s
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