Workflow runs · hazelgrove/hazel · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5,323 workflow runs

5,323 workflow runs

feat: generate slide .ml files from human-readable .hz sources at bui… Build and Deploy Hazel #11145: Commit a763cc9 pushed by 7h3kk1d

17m 6s hz_codegen

17m 6s

Degrout Performance Benchmarks #27: Issue comment #2165 (comment) created by 7h3kk1d

2s

2s

Degrout Benchmark Comparison #14: Issue comment #2165 (comment) created by 7h3kk1d

1s

1s

Merge branch 'dev' into ruled_lines Build and Deploy Hazel #11144: Commit e3c1e19 pushed by 7h3kk1d

10m 45s ruled_lines

10m 45s

feat: Wadler/Lindig-style pretty printer with Cmd+S and result formatting Performance Benchmarks #26: Issue comment #2180 (comment) created by codecov bot

1m 44s

1m 44s

feat: Wadler/Lindig-style pretty printer with Cmd+S and result formatting Benchmark Comparison #13: Issue comment #2180 (comment) created by codecov bot

2s

2s

feat: apply pretty printing to evaluation result display Build and Deploy Hazel #11143: Commit c0b4380 pushed by 7h3kk1d

9m 23s pretty-printer-probeless

pretty-printer-probeless

9m 23s

feat: apply pretty printing to evaluation result display Build and Deploy Hazel #11142: Commit 8cc709b pushed by 7h3kk1d

11m 26s pretty-printer-probeless

pretty-printer-probeless

11m 26s

fix: remove space before = in labeled tuple formatting Build and Deploy Hazel #11141: Commit 4377372 pushed by 7h3kk1d

3m 7s pretty-printer-probeless

pretty-printer-probeless

3m 7s

chore: update dependencies Build and Deploy Hazel #11140: Commit e10ce4d pushed by cyrus-

17m 56s bot-update-deps

bot-update-deps

17m 56s

Update Dependencies Update Dependencies #267: Scheduled

10m 16s dev

10m 16s

fix: restore outline path system from probes-study in Highlight.re Build and Deploy Hazel #11139: Commit ee9e75c pushed by disconcision

7m 7s virtual-grout

7m 7s

fix: remove orphaned SampleCursorBar.re and stale plans file Build and Deploy Hazel #11138: Commit 483db13 pushed by disconcision

7m 45s virtual-grout

7m 45s

Merge remote-tracking branch 'origin/probes-III' into HEAD Build and Deploy Hazel #11137: Commit 60435c4 pushed by disconcision

11m 29s pretty-printer

11m 29s

Merge branch 'probes-III' of github.com:hazelgrove/hazel into probes-… Build and Deploy Hazel #11136: Commit 5f075f0 pushed by disconcision

8m 11s probes-study

8m 11s

Improve probe keyboard navigation shortcuts Build and Deploy Hazel #11135: Commit 3e4f238 pushed by disconcision

11m 26s probes-III

11m 26s

Merge branch 'probes-III' of github.com:hazelgrove/hazel into probes-… Build and Deploy Hazel #11134: Commit f621906 pushed by disconcision

8m 12s probes-study

8m 12s

rm println Build and Deploy Hazel #11133: Commit a1fd179 pushed by disconcision

11m 40s probes-III

11m 40s

Include holes in error navigation (F8/Shift+F8) Build and Deploy Hazel #11132: Commit 80cc843 pushed by 7h3kk1d

10m 33s error-sidebar

10m 33s

Add Holes as a new problem category in Errors sidebar Build and Deploy Hazel #11131: Commit 0422a3b pushed by 7h3kk1d

10m 37s error-sidebar

10m 37s

refactor: remove ~inline param from projector utility interface Build and Deploy Hazel #11130: Commit a1dab99 pushed by 7h3kk1d

12m 53s dyntype-proj

12m 53s

refactor: remove ~inline param from projector utility interface Build and Deploy Hazel #11129: Commit 349261c pushed by 7h3kk1d

11m 4s dyntype-proj

11m 4s

refactor: remove ~inline param from projector utility interface Build and Deploy Hazel #11128: Commit 0454e00 pushed by 7h3kk1d

11m 15s dyntype-proj

11m 15s

fix: remove space before = in labeled tuple formatting Build and Deploy Hazel #11127: Commit 0db520f pushed by 7h3kk1d

2m 55s pretty-printer-probeless

pretty-printer-probeless

2m 55s

Pretty printer + formatted value display in probe dropdown Performance Benchmarks #25: Issue comment #2126 (comment) created by 7h3kk1d

1s

1s