Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests (Linux)

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 (Linux) #2205: Commit c4762d9 pushed by povik
September 20, 2023 09:46 41m 38s master
master
September 20, 2023 09:46 41m 38s
Merge pull request #3920 from zachjs/asgn-expr Build and run tests (Linux) #2204: Commit 99a5773 pushed by povik
September 20, 2023 09:30 36m 58s master
master
September 20, 2023 09:30 36m 58s
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
whitequark:update-abc
September 13, 2023 11:39 38m 24s