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

Functional backend Build and run tests with Verific (Linux) #279: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 14:43 4m 7s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 14:43 4m 7s
Functional backend Build and run tests with Verific (Linux) #278: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 14:01 4m 22s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 14:01 4m 22s
Functional backend Build and run tests with Verific (Linux) #277: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:41 4m 9s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:41 4m 9s
Functional backend Build and run tests with Verific (Linux) #276: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:33 4m 30s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:33 4m 30s
Functional backend Build and run tests with Verific (Linux) #275: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:25 4m 22s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:25 4m 22s
Functional backend Build and run tests with Verific (Linux) #274: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:16 4m 23s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 13:16 4m 23s
Functional backend Build and run tests with Verific (Linux) #273: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:58 4m 5s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:58 4m 5s
Functional backend Build and run tests with Verific (Linux) #272: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:51 4m 8s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:51 4m 8s
Functional backend Build and run tests with Verific (Linux) #271: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:38 4m 24s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:38 4m 24s
Functional backend Build and run tests with Verific (Linux) #270: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:26 4m 15s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:26 4m 15s
Functional backend Build and run tests with Verific (Linux) #269: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:11 4m 40s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 12:11 4m 40s
set raw_config1 properly for NX_RAM Build and run tests with Verific (Linux) #268: Commit a11d8fc pushed by mmicko
May 23, 2024 11:12 4m 7s nanoxplore
nanoxplore
May 23, 2024 11:12 4m 7s
Functional backend Build and run tests with Verific (Linux) #267: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 10:30 3m 57s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 10:30 3m 57s
Functional backend Build and run tests with Verific (Linux) #266: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 10:25 35s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 10:25 35s
Functional backend Build and run tests with Verific (Linux) #265: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 09:25 4m 30s RCoeurjoly:functional
RCoeurjoly:functional
May 23, 2024 09:25 4m 30s
Only build yosys-abc usage docs when ABCEXTERNAL is not set Build and run tests with Verific (Linux) #264: Pull request #4409 opened by marysaka
May 22, 2024 21:49 4m 23s marysaka:fix-abc-external-doc
marysaka:fix-abc-external-doc
May 22, 2024 21:49 4m 23s
Functional backend Build and run tests with Verific (Linux) #263: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 10:01 3m 59s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 10:01 3m 59s
Functional backend Build and run tests with Verific (Linux) #262: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 09:05 5m 13s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 09:05 5m 13s
Functional backend Build and run tests with Verific (Linux) #261: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 09:04 4m 41s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 09:04 4m 41s
Functional backend Build and run tests with Verific (Linux) #260: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 08:41 4m 22s RCoeurjoly:functional
RCoeurjoly:functional
May 22, 2024 08:41 4m 22s
cxxrtl: Prevent wires with input or output ports from being aliased Build and run tests with Verific (Linux) #259: Pull request #4406 synchronize by noeamiot
May 22, 2024 07:15 4m 27s noeamiot:unaliasable_in_and_outs
noeamiot:unaliasable_in_and_outs
May 22, 2024 07:15 4m 27s
cxxrtl: Prevent wires with input or output ports from being aliased Build and run tests with Verific (Linux) #258: Pull request #4406 opened by noeamiot
May 21, 2024 19:53 4m 25s noeamiot:unaliasable_in_and_outs
noeamiot:unaliasable_in_and_outs
May 21, 2024 19:53 4m 25s
Add initial support for Verific without additional YosysHQ patch Build and run tests with Verific (Linux) #257: Commit fbb5f88 pushed by mmicko
May 21, 2024 15:08 39m 7s micko/vanilla_verific
micko/vanilla_verific
May 21, 2024 15:08 39m 7s
Add initial support for Verific without additional YosysHQ patch Build and run tests with Verific (Linux) #256: Commit 472a1d5 pushed by mmicko
May 21, 2024 14:45 18m 14s micko/vanilla_verific
micko/vanilla_verific
May 21, 2024 14:45 18m 14s
box_derive: New command to derive modules for boxes Build and run tests with Verific (Linux) #255: Pull request #4404 synchronize by povik
May 21, 2024 14:34 49m 12s povik/bbox_derive
povik/bbox_derive
May 21, 2024 14:34 49m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-05-21 or the other filters available.