Skip to content

Actions: hazelgrove/hazel

Actions

Claude Code Review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add dynamic mode to type projector Claude Code Review #61: Pull request #1858 synchronize by 7h3kk1d
58s dyntype-proj
dyntype-proj
58s
Proof selection snapping/expansion Claude Code Review #60: Pull request #2096 opened by Negabinary
15m 5s proof-selection
proof-selection
15m 5s
Matched type Claude Code Review #59: Pull request #2081 synchronize by Negabinary
15m 4s matched-type
matched-type
15m 4s
Comment out jumping Claude Code Review #58: Pull request #2084 synchronize by Negabinary
15m 4s stop-jumping
stop-jumping
15m 4s
Log Replay Claude Code Review #57: Pull request #2026 synchronize by Negabinary
15m 4s theorem-capture-replay
theorem-capture-replay
15m 4s
Create a new input syntax for function. Claude Code Review #56: Pull request #1254 synchronize by DavidFangWJ
5m 21s haz3l-new-func-syntax
haz3l-new-func-syntax
5m 21s
Add dynamic mode to type projector Claude Code Review #55: Pull request #1858 synchronize by 7h3kk1d
12m 21s dyntype-proj
dyntype-proj
12m 21s
Canonical completion Claude Code Review #54: Pull request #2079 synchronize by disconcision
1m 10s canonical-completion
canonical-completion
1m 10s
Fix issue when pasting code with linebreaks in windows Claude Code Review #53: Pull request #2093 synchronize by disconcision
57s claude-issue-2090-20260129-2026
claude-issue-2090-20260129-2026
57s
Projector in terms Claude Code Review #52: Pull request #2078 synchronize by disconcision
1m 0s projector-in-terms
projector-in-terms
1m 0s
Sort-dependent expansion for Modules Claude Code Review #51: Pull request #2075 synchronize by disconcision
1m 2s sorted-insertion
sorted-insertion
1m 2s
Fix BigInt serialization through web worker postMessage Claude Code Review #50: Pull request #2071 synchronize by disconcision
1m 2s fix-2066
fix-2066
1m 2s
Patchworks tools as Hazel Exolivelit Claude Code Review #49: Pull request #2065 synchronize by disconcision
1m 4s patchwork-view
patchwork-view
1m 4s
Probes III Claude Code Review #48: Pull request #2061 synchronize by disconcision
1m 7s probe-III
probe-III
1m 7s
Hazel CLI LSP Claude Code Review #47: Pull request #2056 synchronize by disconcision
1m 9s hazel-lsp-cli
hazel-lsp-cli
1m 9s
Exolivelits Claude Code Review #46: Pull request #1911 synchronize by disconcision
57s exolivelits
exolivelits
57s
HTML Projector Claude Code Review #45: Pull request #1812 synchronize by disconcision
1m 4s projector-html
projector-html
1m 4s
Strudelize Hazel Claude Code Review #44: Pull request #1395 synchronize by disconcision
1m 12s strudelize
strudelize
1m 12s
Log Replay Claude Code Review #43: Pull request #2026 synchronize by Negabinary
1m 2s theorem-capture-replay
theorem-capture-replay
1m 2s
Log Replay Claude Code Review #42: Pull request #2026 synchronize by Negabinary
57s theorem-capture-replay
theorem-capture-replay
57s
chore: update dependencies Claude Code Review #41: Pull request #2095 opened by cyrus-
58s bot-update-deps
bot-update-deps
58s
Hazel in Patchwork Claude Code Review #40: Pull request #1959 ready_for_review by disconcision
4m 37s patchwork
patchwork
4m 37s
Hazel in Patchwork Claude Code Review #39: Pull request #1959 synchronize by disconcision
1m 3s patchwork
patchwork
1m 3s
Hazel in Patchwork Claude Code Review #38: Pull request #1959 synchronize by disconcision
1m 11s patchwork
patchwork
1m 11s
Hazel in Patchwork Claude Code Review #37: Pull request #1959 synchronize by disconcision
57s patchwork
patchwork
57s