Skip to content

Actions: Verilean/sparkle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #27: by github-pages Bot
36s gh-pages
gh-pages
36s
Add Equivalence Verification Checking and SoC with Bitnet Build #154: Pull request #21 synchronize by junjihashimoto
6m 34s feature/fpga
feature/fpga
6m 34s
fix: CppSim wide integer (>64bit) support in evalTick and slice/concat Build #153: Commit ac50cf3 pushed by junjihashimoto
9m 3s feature/fpga
feature/fpga
9m 3s
Add Equivalence Verification Checking and SoC with Bitnet Build #152: Pull request #21 synchronize by junjihashimoto
3m 32s feature/fpga
feature/fpga
3m 32s
fix: CppSim wide integer (>64bit) support for slice and concat Build #151: Commit 919b535 pushed by junjihashimoto
3m 21s feature/fpga
feature/fpga
3m 21s
Add Equivalence Verification Checking and SoC with Bitnet Build #150: Pull request #21 opened by junjihashimoto
3m 37s feature/fpga
feature/fpga
3m 37s
docs: add formal verification results and bug detection demo Build #149: Commit b2527a6 pushed by junjihashimoto
3m 24s feature/fpga
feature/fpga
3m 24s
pages build and deployment pages-build-deployment #26: by github-pages Bot
1m 9s gh-pages
gh-pages
1m 9s
pages build and deployment pages-build-deployment #25: by github-pages Bot
1m 5s gh-pages
gh-pages
1m 5s
pages build and deployment pages-build-deployment #24: by github-pages Bot
34s gh-pages
gh-pages
34s
pages build and deployment pages-build-deployment #23: by github-pages Bot
52s gh-pages
gh-pages
52s
pages build and deployment pages-build-deployment #22: by github-pages Bot
46s gh-pages
gh-pages
46s
pages build and deployment pages-build-deployment #21: by github-pages Bot
54s gh-pages
gh-pages
54s
Merge pull request #20 from Verilean/feature/sim-parallel Build #148: Commit 96c7ade pushed by junjihashimoto
8m 35s main
main
8m 35s
feat(sim): add endpointCycles for asymmetric CDC + fix Tutorial Build #147: Pull request #20 opened by junjihashimoto
7m 34s feature/sim-parallel
feature/sim-parallel
7m 34s
feat(sim): add endpointCycles for asymmetric CDC + fix Tutorial Build #146: Commit 74b2b86 pushed by junjihashimoto
9m 11s feature/sim-parallel
feature/sim-parallel
9m 11s
pages build and deployment pages-build-deployment #20: by github-pages Bot
56s gh-pages
gh-pages
56s
pages build and deployment pages-build-deployment #19: by github-pages Bot
1m 4s gh-pages
gh-pages
1m 4s
pages build and deployment pages-build-deployment #18: by github-pages Bot
55s gh-pages
gh-pages
55s
Merge pull request #19 from Verilean/feature/sim-parallel Build #145: Commit 642e7b5 pushed by junjihashimoto
9m 0s main
main
9m 0s
pages build and deployment pages-build-deployment #17: by github-pages Bot
45s gh-pages
gh-pages
45s
pages build and deployment pages-build-deployment #16: by github-pages Bot
51s gh-pages
gh-pages
51s
pages build and deployment pages-build-deployment #15: by github-pages Bot
58s gh-pages
gh-pages
58s
fix(ci): bump Lean to v4.28.0 so LSpec olean matches toolchain Build #144: Commit fb6d0f7 pushed by junjihashimoto
9m 25s feature/sim-parallel
feature/sim-parallel
9m 25s
feat(sim): add runSim auto-dispatcher for multi-domain simulation Build #143: Pull request #19 synchronize by junjihashimoto
7m 25s feature/sim-parallel
feature/sim-parallel
7m 25s