Skip to content

Actions: YosysHQ/yosys

Build and run tests (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,373 workflow runs
1,373 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Speed up the autoname pass by 3x.
Build and run tests (Linux) #2203: Pull request #3945 synchronize by rmlarsen
September 19, 2023 20:36 42m 44s rmlarsen:autoname
September 19, 2023 20:36 42m 44s
Merge pull request #3943 from YosysHQ/verific_lineinfo
Build and run tests (Linux) #2199: Commit 8fb807c pushed by mmicko
September 19, 2023 10:55 43m 45s master
September 19, 2023 10:55 43m 45s
Set src attribute for verific with full info
Build and run tests (Linux) #2198: Pull request #3943 synchronize by mmicko
September 19, 2023 10:00 53m 56s verific_lineinfo
September 19, 2023 10:00 53m 56s
Set src attribute for verific with full info
Build and run tests (Linux) #2197: Commit 18855f2 pushed by mmicko
September 19, 2023 10:00 35m 19s verific_lineinfo
September 19, 2023 10:00 35m 19s
Set src attribute for verific with full info
Build and run tests (Linux) #2196: Pull request #3943 opened by mmicko
September 19, 2023 09:36 34m 6s verific_lineinfo
September 19, 2023 09:36 34m 6s
Set src attribute for verific with full info
Build and run tests (Linux) #2195: Commit 43f9f6e pushed by mmicko
September 19, 2023 09:35 30m 18s verific_lineinfo
September 19, 2023 09:35 30m 18s
sv: support assignments within expressions
Build and run tests (Linux) #2194: Pull request #3920 synchronize by zachjs
September 19, 2023 03:47 31m 47s zachjs:asgn-expr
September 19, 2023 03:47 31m 47s
rtlil: Speeds up string decoding by 30%
Build and run tests (Linux) #2193: Pull request #3940 synchronize by QuantamHD
September 19, 2023 00:12 48m 33s QuantamHD:const_string_improvements
September 19, 2023 00:12 48m 33s
rtlil: Speeds up string decoding by 30%
Build and run tests (Linux) #2192: Pull request #3940 opened by QuantamHD
September 19, 2023 00:04 31m 16s QuantamHD:const_string_improvements
September 19, 2023 00:04 31m 16s
Manual rewrite and presentation merge
Build and run tests (Linux) #2191: Pull request #3907 synchronize by KrystalDelusion
September 18, 2023 23:30 45m 59s krys/docs
September 18, 2023 23:30 45m 59s
Merge updates from 'master' into krys/docs
Build and run tests (Linux) #2190: Commit 98d0e74 pushed by KrystalDelusion
September 18, 2023 23:30 32m 39s krys/docs
September 18, 2023 23:30 32m 39s
rtlil: Speeds up Yosys by 17%
Build and run tests (Linux) #2189: Pull request #3939 opened by QuantamHD
September 18, 2023 21:41 31m 25s QuantamHD:sigbit_equal
September 18, 2023 21:41 31m 25s
booth cleanup
Build and run tests (Linux) #2188: Pull request #3938 opened by povik
September 18, 2023 16:58 31m 36s povik:booth-cleanup
September 18, 2023 16:58 31m 36s
Merge pull request #3924 from andyfox-rushc/master
Build and run tests (Linux) #2187: Commit 54be4ac pushed by povik
September 18, 2023 14:47 57m 49s master
September 18, 2023 14:47 57m 49s
verific: Add test of accurate semantics in memory inference
Build and run tests (Linux) #2186: Pull request #3930 synchronize by povik
September 18, 2023 14:40 38m 2s povik:verific-test-memsemantics
September 18, 2023 14:40 38m 2s
Merge pull request #3933 from timkpaine/tkp/kernelheaders
Build and run tests (Linux) #2185: Commit 6dc7cc3 pushed by nakengelhardt
September 18, 2023 14:29 31m 1s master
September 18, 2023 14:29 31m 1s
Merge pull request #3925 from povik/ci-glibcxx-assertions
Build and run tests (Linux) #2184: Commit 39dc2c0 pushed by nakengelhardt
September 18, 2023 14:11 30m 8s master
September 18, 2023 14:11 30m 8s
Alphabetize kernel headers to be installed, include some missing required ones for plugins
Build and run tests (Linux) #2183: Pull request #3933 synchronize by timkpaine
September 15, 2023 18:31 39m 43s tkp/kernelheaders
September 15, 2023 18:31 39m 43s
Update ABC for WASI support.
Build and run tests (Linux) #2181: Commit c7d7cfe pushed by whitequark
September 13, 2023 15:43 33m 43s master
September 13, 2023 15:43 33m 43s
Update ABC for WASI support
Build and run tests (Linux) #2180: Pull request #3932 opened by whitequark
September 13, 2023 15:29 39m 16s whitequark:update-abc
September 13, 2023 15:29 39m 16s
Merge pull request #3931 from whitequark/update-abc
Build and run tests (Linux) #2179: Commit eada408 pushed by mmicko
September 13, 2023 11:41 1h 10m 54s master
September 13, 2023 11:41 1h 10m 54s
Merge pull request #3903 from jix/dft-future_ff
Build and run tests (Linux) #2178: Commit d79b4b2 pushed by mmicko
September 13, 2023 11:40 49m 56s master
September 13, 2023 11:40 49m 56s
Update ABC for WASI support
Build and run tests (Linux) #2177: Pull request #3931 synchronize by whitequark
September 13, 2023 11:39 38m 24s whitequark:update-abc
September 13, 2023 11:39 38m 24s
Update ABC for WASI support
Build and run tests (Linux) #2176: Pull request #3931 opened by whitequark
September 13, 2023 11:36 12m 30s whitequark:update-abc
September 13, 2023 11:36 12m 30s
Basic support for tag primitives and $future_ff
Build and run tests (Linux) #2175: Pull request #3903 synchronize by jix
September 13, 2023 11:17 29m 29s jix:dft-future_ff
September 13, 2023 11:17 29m 29s
ProTip! You can narrow down the results and go further in time using created:<2023-09-13 or the other filters available.