Skip to content

Actions: Verilean/sparkle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 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
Feature/notebook Build #194: Pull request #32 synchronize by junjihashimoto
3m 55s feature/notebook
feature/notebook
3m 55s
Default to module hierarchy; opt-in inline via @[inline_hardware] Build #193: Commit f614785 pushed by junjihashimoto
3m 51s feature/notebook
feature/notebook
3m 51s
pages build and deployment pages-build-deployment #77: by github-pages Bot
43s gh-pages
gh-pages
43s
pages build and deployment pages-build-deployment #76: by github-pages Bot
54s gh-pages
gh-pages
54s
pages build and deployment pages-build-deployment #75: by github-pages Bot
35s gh-pages
gh-pages
35s
Feature/notebook Build #192: Pull request #32 opened by junjihashimoto
11m 3s feature/notebook
feature/notebook
11m 3s
Add .claude/ to .gitignore (Claude Code working dir) Build #191: Commit ee8a7e9 pushed by junjihashimoto
12m 53s feature/notebook
feature/notebook
12m 53s
FPU with proofs Build #190: Pull request #31 opened by xiangze
8m 36s xiangze:FPU
xiangze:FPU
8m 36s
pages build and deployment pages-build-deployment #74: by github-pages Bot
54s gh-pages
gh-pages
54s
pages build and deployment pages-build-deployment #73: by github-pages Bot
44s gh-pages
gh-pages
44s
pages build and deployment pages-build-deployment #72: by github-pages Bot
37s gh-pages
gh-pages
37s
pages build and deployment pages-build-deployment #71: by github-pages Bot
29s gh-pages
gh-pages
29s
pages build and deployment pages-build-deployment #70: by github-pages Bot
34s gh-pages
gh-pages
34s
pages build and deployment pages-build-deployment #69: by github-pages Bot
28s gh-pages
gh-pages
28s
pages build and deployment pages-build-deployment #68: by github-pages Bot
40s gh-pages
gh-pages
40s
Merge pull request #30 from Verilean/feature/named-outputs Build #189: Commit e46ab57 pushed by junjihashimoto
8m 54s main
main
8m 54s
declare_signal_state: generate Name.mk named-field constructor Build #188: Pull request #30 synchronize by junjihashimoto
9m 43s feature/named-outputs
feature/named-outputs
9m 43s
Tutorial.md: introduce Signal.circuit do imperative HW DSL Build #187: Commit a34600b pushed by junjihashimoto
10m 49s feature/named-outputs
feature/named-outputs
10m 49s
pages build and deployment pages-build-deployment #67: by github-pages Bot
47s gh-pages
gh-pages
47s
pages build and deployment pages-build-deployment #66: by github-pages Bot
47s gh-pages
gh-pages
47s
declare_signal_state: generate Name.mk named-field constructor Build #186: Pull request #30 synchronize by junjihashimoto
9m 4s feature/named-outputs
feature/named-outputs
9m 4s
Tutorial.md: introduce declare_signal_state and Name.mk in Step 1 Build #185: Commit 32f41e3 pushed by junjihashimoto
10m 33s feature/named-outputs
feature/named-outputs
10m 33s
pages build and deployment pages-build-deployment #65: by github-pages Bot
40s gh-pages
gh-pages
40s
pages build and deployment pages-build-deployment #64: by github-pages Bot
42s gh-pages
gh-pages
42s
pages build and deployment pages-build-deployment #63: by github-pages Bot
52s gh-pages
gh-pages
52s