Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
849 workflow run results
849 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixup! rtlil: add string constant const iterator that doesn't unpack Build and run tests with Verific (Linux) #795: Commit 2e0f5c0 pushed by widlarizer
August 26, 2024 09:35 12m 47s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
August 26, 2024 09:35 12m 47s
fixup! rtlil: use said const iterator Build and run tests with Verific (Linux) #794: Commit a693e59 pushed by widlarizer
August 26, 2024 08:42 12m 39s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
August 26, 2024 08:42 12m 39s
Docs: Fix nested list on build_verific page Build and run tests with Verific (Linux) #793: Commit dd99839 pushed by KrystalDelusion
August 26, 2024 08:30 11m 35s docs-previewtest
docs-previewtest
August 26, 2024 08:30 11m 35s
Add parameter to not filter out blackboxes in selected_modules and selected_whole_modules Build and run tests with Verific (Linux) #792: Pull request #4565 opened by RCoeurjoly
August 26, 2024 07:46 1m 18s RCoeurjoly:select_blackbox
RCoeurjoly:select_blackbox
August 26, 2024 07:46 1m 18s
Better docs builds Build and run tests with Verific (Linux) #791: Pull request #4563 synchronize by KrystalDelusion
August 25, 2024 22:56 16s krys/better_rtds_action
krys/better_rtds_action
August 25, 2024 22:56 16s
Docs: Fix nested list on build_verific page Build and run tests with Verific (Linux) #790: Commit dd99839 pushed by KrystalDelusion
August 25, 2024 22:56 11m 56s krys/better_rtds_action
krys/better_rtds_action
August 25, 2024 22:56 11m 56s
Fix nix devShell warning Build and run tests with Verific (Linux) #789: Pull request #4564 opened by RCoeurjoly
August 23, 2024 19:45 11m 34s RCoeurjoly:devShell_locale
RCoeurjoly:devShell_locale
August 23, 2024 19:45 11m 34s
rtlil: use said const iterator Build and run tests with Verific (Linux) #788: Commit 15586ca pushed by widlarizer
August 23, 2024 19:27 12m 32s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
August 23, 2024 19:27 12m 32s
const: unify printing as string Build and run tests with Verific (Linux) #787: Commit f1951b9 pushed by povik
August 23, 2024 09:39 11m 43s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
August 23, 2024 09:39 11m 43s
Better docs builds Build and run tests with Verific (Linux) #786: Pull request #4563 synchronize by KrystalDelusion
August 23, 2024 00:59 17s krys/better_rtds_action
krys/better_rtds_action
August 23, 2024 00:59 17s
fixup! Docs: macos-safe build Build and run tests with Verific (Linux) #785: Commit e3c914d pushed by KrystalDelusion
August 23, 2024 00:59 12m 14s krys/better_rtds_action
krys/better_rtds_action
August 23, 2024 00:59 12m 14s
Better docs builds Build and run tests with Verific (Linux) #784: Pull request #4563 synchronize by KrystalDelusion
August 23, 2024 00:53 17s krys/better_rtds_action
krys/better_rtds_action
August 23, 2024 00:53 17s
README: building docs on macos Build and run tests with Verific (Linux) #783: Commit 9a09320 pushed by KrystalDelusion
August 23, 2024 00:53 6m 23s krys/better_rtds_action
krys/better_rtds_action
August 23, 2024 00:53 6m 23s
Better docs builds Build and run tests with Verific (Linux) #782: Pull request #4563 opened by KrystalDelusion
August 22, 2024 22:09 14s krys/better_rtds_action
krys/better_rtds_action
August 22, 2024 22:09 14s
Docs: Fix local builds Build and run tests with Verific (Linux) #781: Commit 8d364d2 pushed by KrystalDelusion
August 22, 2024 22:07 12m 5s krys/better_rtds_action
krys/better_rtds_action
August 22, 2024 22:07 12m 5s
Merge pull request #4396 from YosysHQ/krys/docs_verific Build and run tests with Verific (Linux) #780: Commit 09a42dd pushed by KrystalDelusion
August 22, 2024 21:52 16m 27s main
main
August 22, 2024 21:52 16m 27s
Neater hashing interface Build and run tests with Verific (Linux) #779: Pull request #4524 synchronize by widlarizer
August 22, 2024 21:49 14s emil/hashlib-interface
emil/hashlib-interface
August 22, 2024 21:49 14s
hashlib: hasher only does ints, gcc compat Build and run tests with Verific (Linux) #778: Commit 8bb5c1f pushed by widlarizer
August 22, 2024 21:49 20m 42s emil/hashlib-interface
emil/hashlib-interface
August 22, 2024 21:49 20m 42s
Add note on docs to clarify verific support Build and run tests with Verific (Linux) #777: Pull request #4396 synchronize by KrystalDelusion
August 22, 2024 21:24 17s krys/docs_verific
krys/docs_verific
August 22, 2024 21:24 17s
Docs: Apply verific docs suggestions Build and run tests with Verific (Linux) #776: Commit 583d820 pushed by KrystalDelusion
August 22, 2024 21:24 11m 43s krys/docs_verific
krys/docs_verific
August 22, 2024 21:24 11m 43s
Merge rosette support into functional branch Build and run tests with Verific (Linux) #775: Pull request #4513 synchronize by KrystalDelusion
August 22, 2024 21:06 18s krys/functional_rosette
krys/functional_rosette
August 22, 2024 21:06 18s
smtr: Add rkt to functional tests Build and run tests with Verific (Linux) #774: Commit 35deec5 pushed by KrystalDelusion
August 22, 2024 21:06 12m 12s krys/functional_rosette
krys/functional_rosette
August 22, 2024 21:06 12m 12s
Neater hashing interface Build and run tests with Verific (Linux) #773: Pull request #4524 synchronize by widlarizer
August 22, 2024 19:11 23s emil/hashlib-interface
emil/hashlib-interface
August 22, 2024 19:11 23s
hashlib: hasher only does ints, gcc compat Build and run tests with Verific (Linux) #772: Commit 6f9aefc pushed by widlarizer
August 22, 2024 19:11 19m 51s emil/hashlib-interface
emil/hashlib-interface
August 22, 2024 19:11 19m 51s
Merge pull request #4549 from YosysHQ/emil/macos-max-mem-usage Build and run tests with Verific (Linux) #771: Commit 7b0ecaa pushed by widlarizer
August 22, 2024 15:43 16m 7s main
main
August 22, 2024 15:43 16m 7s