Skip to content

Actions: chipsalliance/synlig

cmake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
738 workflow runs
738 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Synlig prompt
cmake #639: Pull request #2554 opened by kamilrakoczy
September 11, 2024 15:14 4m 25s 65618-change-synlig-prompt
September 11, 2024 15:14 4m 25s
Fail CI on every result difference
cmake #638: Pull request #2553 opened by kamilrakoczy
September 11, 2024 14:14 4m 12s 65316-fail-fv-on-every-difference
September 11, 2024 14:14 4m 12s
Setup Github release and enable systemwide installation
cmake #637: Pull request #2552 synchronize by kamilrakoczy
September 11, 2024 12:57 5m 31s 65461-setup-github-release
September 11, 2024 12:57 5m 31s
Setup Github release and enable systemwide installation
cmake #636: Pull request #2552 synchronize by kamilrakoczy
September 11, 2024 12:54 3m 29s 65461-setup-github-release
September 11, 2024 12:54 3m 29s
Setup Github release and enable systemwide installation
cmake #635: Pull request #2552 synchronize by kamilrakoczy
September 11, 2024 12:26 5m 27s 65461-setup-github-release
September 11, 2024 12:26 5m 27s
Skip check pass in synth_xilinx for OpenTitan 9d82960888 (#2546)
cmake #630: Commit 2546475 pushed by tgorochowik
September 9, 2024 13:28 5m 23s main
September 9, 2024 13:28 5m 23s
Update README (#2544)
cmake #627: Commit 967ce78 pushed by tgorochowik
September 7, 2024 05:15 4m 26s main
September 7, 2024 05:15 4m 26s
Update README
cmake #626: Pull request #2544 opened by kamilrakoczy
September 6, 2024 14:19 4m 45s 65411-readme-review
September 6, 2024 14:19 4m 45s
Force installation of lower simplesat version (#2543)
cmake #625: Commit a316e2f pushed by kgugala
September 6, 2024 14:17 4m 28s main
September 6, 2024 14:17 4m 28s
Force installation of lower simplesat version
cmake #624: Pull request #2543 opened by kamilrakoczy
September 6, 2024 09:03 4m 32s drop-simplesat-version
September 6, 2024 09:03 4m 32s
Build Synlig as standalone binary (#2538)
cmake #622: Commit 13705ab pushed by tgorochowik
September 5, 2024 19:42 1m 47s main
September 5, 2024 19:42 1m 47s
Fix exit code in Formal Verification results.py (#2539)
cmake #621: Commit 25fb5f5 pushed by tgorochowik
September 5, 2024 19:42 1m 20s main
September 5, 2024 19:42 1m 20s
Build Synlig as standalone binary
cmake #620: Pull request #2538 synchronize by kamilrakoczy
September 5, 2024 10:40 4m 32s 64605-standalone-binary
September 5, 2024 10:40 4m 32s
Fix exit code in Formal Verification results.py
cmake #619: Pull request #2539 synchronize by kamilrakoczy
September 5, 2024 10:26 5m 2s ci_fv_exit_code
September 5, 2024 10:26 5m 2s
Fix exit code in Formal Verification results.py
cmake #616: Pull request #2539 opened by kamilrakoczy
September 5, 2024 06:53 4m 43s ci_fv_exit_code
September 5, 2024 06:53 4m 43s
Build Synlig as standalone binary
cmake #615: Pull request #2538 synchronize by kamilrakoczy
September 4, 2024 14:25 4m 44s 64605-standalone-binary
September 4, 2024 14:25 4m 44s