Skip to content

Actions: YosysHQ/yosys

Build and run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
841 workflow run results
841 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

write_btor: Include $assert and $assume cells in -ywmap output
Build and run tests #116: Pull request #4320 synchronize by KrystalDelusion
May 23, 2024 15:42 18s ywb_asserts
May 23, 2024 15:42 18s
write_btor: Include $assert and $assume cells in -ywmap output
Build and run tests #115: Commit 884f40d pushed by KrystalDelusion
May 23, 2024 15:42 22m 21s ywb_asserts
May 23, 2024 15:42 22m 21s
Functional backend
Build and run tests #114: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 14:43 22m 33s RCoeurjoly:functional
May 23, 2024 14:43 22m 33s
Functional backend
Build and run tests #113: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 14:01 22m 9s RCoeurjoly:functional
May 23, 2024 14:01 22m 9s
Functional backend
Build and run tests #112: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:41 26m 11s RCoeurjoly:functional
May 23, 2024 13:41 26m 11s
Functional backend
Build and run tests #111: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:33 23m 18s RCoeurjoly:functional
May 23, 2024 13:33 23m 18s
Functional backend
Build and run tests #110: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:25 22m 57s RCoeurjoly:functional
May 23, 2024 13:25 22m 57s
Functional backend
Build and run tests #109: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 13:16 31m 57s RCoeurjoly:functional
May 23, 2024 13:16 31m 57s
Functional backend
Build and run tests #108: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:58 25m 22s RCoeurjoly:functional
May 23, 2024 12:58 25m 22s
Functional backend
Build and run tests #107: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:51 24m 29s RCoeurjoly:functional
May 23, 2024 12:51 24m 29s
Functional backend
Build and run tests #106: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:38 26m 12s RCoeurjoly:functional
May 23, 2024 12:38 26m 12s
Functional backend
Build and run tests #105: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:26 22m 50s RCoeurjoly:functional
May 23, 2024 12:26 22m 50s
Functional backend
Build and run tests #104: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 12:11 23m 15s RCoeurjoly:functional
May 23, 2024 12:11 23m 15s
Functional backend
Build and run tests #103: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 10:30 15s RCoeurjoly:functional
May 23, 2024 10:30 15s
Functional backend
Build and run tests #102: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 10:25 1m 18s RCoeurjoly:functional
May 23, 2024 10:25 1m 18s
Functional backend
Build and run tests #101: Pull request #4401 synchronize by RCoeurjoly
May 23, 2024 09:25 22m 56s RCoeurjoly:functional
May 23, 2024 09:25 22m 56s
Functional backend
Build and run tests #99: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 10:01 22m 34s RCoeurjoly:functional
May 22, 2024 10:01 22m 34s
Functional backend
Build and run tests #98: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 09:05 28m 21s RCoeurjoly:functional
May 22, 2024 09:05 28m 21s
Functional backend
Build and run tests #97: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 09:04 22m 8s RCoeurjoly:functional
May 22, 2024 09:04 22m 8s
Functional backend
Build and run tests #96: Pull request #4401 synchronize by RCoeurjoly
May 22, 2024 08:41 6m 29s RCoeurjoly:functional
May 22, 2024 08:41 6m 29s
Add initial support for Verific without additional YosysHQ patch
Build and run tests #93: Commit fbb5f88 pushed by mmicko
May 21, 2024 15:08 34m 22s micko/vanilla_verific
May 21, 2024 15:08 34m 22s
Add initial support for Verific without additional YosysHQ patch
Build and run tests #92: Commit 472a1d5 pushed by mmicko
May 21, 2024 14:45 39m 20s micko/vanilla_verific
May 21, 2024 14:45 39m 20s
ProTip! You can narrow down the results and go further in time using created:<2024-05-21 or the other filters available.