Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,007 workflow runs
5,007 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix scroll jumps during mouse selection, add edge-scrolling (#2125) Build and Deploy Hazel #10774: Commit 80913f4 pushed by cyrus-
9m 59s dev
dev
9m 59s
Merge branch 'dev' of github.com:hazelgrove/hazel into hazel-lsp-cli Build and Deploy Hazel #10773: Commit 6373cf0 pushed by disconcision
7m 33s hazel-lsp-cli
hazel-lsp-cli
7m 33s
ProbeProj: add Pin enclosing call for non-application probes Build and Deploy Hazel #10772: Commit f2396f5 pushed by disconcision
6m 57s hazel-lsp-cli
hazel-lsp-cli
6m 57s
Merge branch 'dev' into modules-clean Build and Deploy Hazel #10771: Commit cd247e8 pushed by disconcision
11m 1s modules-clean
modules-clean
11m 1s
Merge branch 'dev' into fix-scroll-selection-jumps Build and Deploy Hazel #10770: Commit 1cf5803 pushed by disconcision
9m 51s fix-scroll-selection-jumps
fix-scroll-selection-jumps
9m 51s
Add hazel editors for markdown code blocks Build and Deploy Hazel #10769: Commit 3e12a27 pushed by 7h3kk1d
10m 14s table_tutorial
table_tutorial
10m 14s
Add task reference side bar Build and Deploy Hazel #10768: Commit c2f1b50 pushed by 7h3kk1d
10m 34s table_tutorial
table_tutorial
10m 34s
Fix list rendering Build and Deploy Hazel #10767: Commit 8769ed7 pushed by 7h3kk1d
10m 50s table_tutorial
table_tutorial
10m 50s
chore: update dependencies Build and Deploy Hazel #10766: Commit 7e274e6 pushed by cyrus-
15m 57s bot-update-deps
bot-update-deps
15m 57s
Update Dependencies Update Dependencies #238: Scheduled
10m 49s dev
dev
10m 49s
ProbeSidebar: hide auto probes, further ProbeProj cleanup Build and Deploy Hazel #10765: Commit fa150c1 pushed by disconcision
7m 19s hazel-lsp-cli
hazel-lsp-cli
7m 19s
merge fix Build and Deploy Hazel #10764: Commit 3ae9ff1 pushed by disconcision
10m 8s project-mode
project-mode
10m 8s
fmt Build and Deploy Hazel #10763: Commit 2f55dd8 pushed by disconcision
7m 10s hazel-lsp-cli
hazel-lsp-cli
7m 10s
Fix #1974 #2004 (#2033) Build and Deploy Hazel #10762: Commit f34d61d pushed by cyrus-
10m 24s dev
dev
10m 24s
Merge branch 'dev' into unused-var-warnings-2 Build and Deploy Hazel #10761: Commit 38eede2 pushed by cyrus-
10m 8s unused-var-warnings-2
unused-var-warnings-2
10m 8s
Duplicate variable checking in patterns (#1752) Build and Deploy Hazel #10760: Commit a384278 pushed by cyrus-
10m 13s dev
dev
10m 13s
make reduce function in pivot table require a list Build and Deploy Hazel #10759: Commit ed92cb7 pushed by 7h3kk1d
10m 3s pivot_table_type_fix
pivot_table_type_fix
10m 3s
make argument type for pivot_table require string Build and Deploy Hazel #10758: Commit 1acb0b7 pushed by 7h3kk1d
10m 40s pivot_table_type_fix
pivot_table_type_fix
10m 40s
Delete the list axioms too Build and Deploy Hazel #10757: Commit b2db72c pushed by Negabinary
10m 4s delete-axioms
delete-axioms
10m 4s
Merge remote-tracking branch 'origin/dev' into write-steps Build and Deploy Hazel #10756: Commit 862b8a2 pushed by Negabinary
10m 21s write-steps
write-steps
10m 21s
fix broken tests caused by dropped line in merge 505a7e401 Build and Deploy Hazel #10755: Commit cf84dc0 pushed by dm0n3y
11m 31s project-mode
project-mode
11m 31s
rm comment + fix benign bug mixing expression/pattern duplicates Build and Deploy Hazel #10754: Commit 0dd89fc pushed by dm0n3y
10m 45s duplicate-variable-checking-in-patterns
duplicate-variable-checking-in-patterns
10m 45s
Update Dependencies Update Dependencies #237: Scheduled
10m 20s dev
dev
10m 20s
Remove llm-tests submodule Build and Deploy Hazel #10753: Commit 2db7c67 pushed by CyrusD123
10m 18s project-mode
project-mode
10m 18s
Add llm-tests as submodule Build and Deploy Hazel #10752: Commit 3ed35f8 pushed by CyrusD123
10m 7s project-mode
project-mode
10m 7s