Skip to content

Actions: Silimate/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
This workflow was disabled manually.
17 workflow run results
17 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update verific to O3 opt Build and run tests with Verific (Linux) #17: Commit 2a8575a pushed by akashlevy
May 3, 2024 10:34 1d 9h 47m 19s master
master
May 3, 2024 10:34 1d 9h 47m 19s
Slim yosys Build and run tests with Verific (Linux) #16: Commit bf8ab97 pushed by akashlevy
May 3, 2024 10:29 1d 9h 52m 15s master
master
May 3, 2024 10:29 1d 9h 52m 15s
Add noclean option to submod for speedup Build and run tests with Verific (Linux) #15: Commit cc5e893 pushed by akashlevy
May 2, 2024 13:12 1d 7h 9m 46s master
master
May 2, 2024 13:12 1d 7h 9m 46s
Update Verific Build and run tests with Verific (Linux) #14: Commit e62bc10 pushed by akashlevy
May 1, 2024 12:43 1d 7h 38m 24s master
master
May 1, 2024 12:43 1d 7h 38m 24s
Update Makefile Build and run tests with Verific (Linux) #13: Commit fbf87b2 pushed by akashlevy
April 30, 2024 12:21 1d 8h 0m 22s master
master
April 30, 2024 12:21 1d 8h 0m 22s
Fix introduced typo Build and run tests with Verific (Linux) #12: Commit 810a11b pushed by akashlevy
April 30, 2024 05:25 1d 14h 56m 40s master
master
April 30, 2024 05:25 1d 14h 56m 40s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #11: Commit 8c330c0 pushed by akashlevy
April 30, 2024 05:22 1d 14h 59m 13s master
master
April 30, 2024 05:22 1d 14h 59m 13s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #10: Commit 45b723d pushed by akashlevy
April 25, 2024 13:25 1d 6h 57m 2s master
master
April 25, 2024 13:25 1d 6h 57m 2s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #9: Commit 501b504 pushed by akashlevy
April 24, 2024 21:20 1d 2h 8m 35s master
master
April 24, 2024 21:20 1d 2h 8m 35s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #8: Commit 6d2ac29 pushed by akashlevy
April 24, 2024 01:15 1d 19h 6m 14s master
master
April 24, 2024 01:15 1d 19h 6m 14s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #7: Commit 02f38c5 pushed by akashlevy
April 21, 2024 21:29 1d 1h 59m 16s master
master
April 21, 2024 21:29 1d 1h 59m 16s
Fix BOOST_PYTHON_LIB find Build and run tests with Verific (Linux) #6: Commit fa62642 pushed by akashlevy
April 20, 2024 04:56 1d 15h 25m 46s master
master
April 20, 2024 04:56 1d 15h 25m 46s
Updated Makefile Build and run tests with Verific (Linux) #5: Commit 06ea037 pushed by akashlevy
April 17, 2024 18:19 1d 2h 2m 42s master
master
April 17, 2024 18:19 1d 2h 2m 42s
Need to add back in the removed boost python line Build and run tests with Verific (Linux) #4: Commit 04d3077 pushed by akashlevy
April 17, 2024 14:21 1d 6h 0m 10s master
master
April 17, 2024 14:21 1d 6h 0m 10s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #3: Commit 7b12b28 pushed by akashlevy
April 17, 2024 12:34 1d 7h 47m 30s master
master
April 17, 2024 12:34 1d 7h 47m 30s
Use Preqorsor name so that generated files have correct header Build and run tests with Verific (Linux) #2: Commit d3d4077 pushed by akashlevy
April 17, 2024 12:24 1d 7h 57m 32s master
master
April 17, 2024 12:24 1d 7h 57m 32s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #1: Commit 3945e6e pushed by akashlevy
April 16, 2024 17:59 1d 2h 22m 12s master
master
April 16, 2024 17:59 1d 2h 22m 12s