Workflow runs · bendlang/bend · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

33 workflow runs

33 workflow runs

fix(verdict): clean up temporary input when kernel build fails repo-gate #32: Pull request #1327 opened by Osraka

Action required Osraka:fix/verdict-temp-cleanup

Osraka:fix/verdict-temp-cleanup

Action required

fix(formatter): preserve module import paths repo-gate #31: Pull request #1325 opened by vicmcorrea

16s vicmcorrea:fix/formatter-import-paths

vicmcorrea:fix/formatter-import-paths

16s

Reset layout caches before showing a new book repo-gate #30: Pull request #1324 opened by jasisz

Action required jasisz:fix/compiler-cache-show-layout

jasisz:fix/compiler-cache-show-layout

Action required

docs(demos): the sort and printer law comments state only what their laws prove repo-gate #29: Pull request #1321 synchronize by Lorenzobattistela

15s Yi-111-a:fix/law-comments-state-only-their-laws

Yi-111-a:fix/law-comments-state-only-their-laws

15s

The ~ constants of a root take models that hold together, so a ~ law of a ~ function reaches the kernel (#1182) repo-gate #28: Pull request #1263 synchronize by MuhDur

19s MuhDur:fix-1182

MuhDur:fix-1182

19s

docs(demos): the sort and printer law comments state only what their laws prove repo-gate #27: Pull request #1321 opened by Yi-111-a

24s Yi-111-a:fix/law-comments-state-only-their-laws

Yi-111-a:fix/law-comments-state-only-their-laws

24s

A spin whose loop calls spins is one shared call on the devices when one function runs it twice, so raytrace runs 1.8x faster and editdist 1.1x repo-gate #26: Pull request #1282 synchronize by wakamex

18s wakamex:share-rule-2

wakamex:share-rule-2

18s

use memo in recursive code generation repo-gate #25: Pull request #1304 opened by toprameen

16s toprameen:simplify-codegen-memo

toprameen:simplify-codegen-memo

16s

simplify pending links in io_str repo-gate #24: Pull request #1303 opened by toprameen

18s toprameen:simplify-io-str-links

toprameen:simplify-io-str-links

18s

Preserve column-sensitive block layouts repo-gate #23: Pull request #1302 opened by dearlordylord

Action required dearlordylord:fix/formatter-inline-layout

dearlordylord:fix/formatter-inline-layout

Action required

Simplify window image-depth calculation repo-gate #22: Pull request #1301 opened by toprameen

19s toprameen:simplify-window-depth

toprameen:simplify-window-depth

19s

On MSL 3.2+, heap_free reads the error flag with a coherent volatile load, not an atomic one (#1143) repo-gate #21: Pull request #1299 opened by nicolas-abril

15s nicolas-abril:fix-1143-heap-free-err

nicolas-abril:fix-1143-heap-free-err

15s

graph_close indexes the edges once, so a closure is linear in the graph instead of the reached set times the edges repo-gate #20: Pull request #1298 opened by moorbrook

15h 23m 1s moorbrook:graph-close-linear

moorbrook:graph-close-linear

15h 23m 1s

comp.ts back under its cap by removing mechanisms at their root: a global File, one way to read a shared cell, and effects that park themselves repo-gate #19: Pull request #1281 synchronize by nicolas-abril

19s nicolas-abril:comp-simplify

nicolas-abril:comp-simplify

19s

fix(docs): README denies named hub packages and accounts repo-gate #18: Pull request #1297 opened by Yi-111-a

23s Yi-111-a:fix/readme-hub-names-versions-accounts

Yi-111-a:fix/readme-hub-names-versions-accounts

23s

fix(formatter): preserve unsafe declaration suffixes repo-gate #17: Pull request #1296 opened by vicmcorrea

18s vicmcorrea:dev/fix-formatter-unsafe-suffix

vicmcorrea:dev/fix-formatter-unsafe-suffix

18s

comp.ts back under its cap by removing mechanisms at their root: a global File, one way to read a shared cell, and effects that park themselves repo-gate #16: Pull request #1281 synchronize by nicolas-abril

19s nicolas-abril:comp-simplify

nicolas-abril:comp-simplify

19s

comp.ts back under its cap by removing mechanisms at their root: a global File, one way to read a shared cell, and effects that park themselves repo-gate #15: Pull request #1281 synchronize by nicolas-abril

16s nicolas-abril:comp-simplify

nicolas-abril:comp-simplify

16s

A match carries a later variable whose type names one it carries, at its own quantity, so --verdict checks what bend2 checks (#1292) repo-gate #14: Pull request #1293 opened by aaaxn

Action required aaaxn:convoy-dependent-binders

aaaxn:convoy-dependent-binders

Action required

comp.ts back under its cap by removing mechanisms at their root: a global File, one way to read a shared cell, and effects that park themselves repo-gate #13: Pull request #1281 synchronize by nicolas-abril

16s nicolas-abril:comp-simplify

nicolas-abril:comp-simplify

16s

The refusal of a nested match on a split value names it and says where to match it (#1125) repo-gate #12: Pull request #1290 synchronize by nicolas-abril

18s nicolas-abril:fix-1125-nested-match-lint

nicolas-abril:fix-1125-nested-match-lint

18s

The refusal of a nested match on a split value names it and says where to match it (#1125) repo-gate #11: Pull request #1290 synchronize by nicolas-abril

17s nicolas-abril:fix-1125-nested-match-lint

nicolas-abril:fix-1125-nested-match-lint

17s

The refusal of a nested match on a split value names it and says where to match it (#1125) repo-gate #10: Pull request #1290 synchronize by nicolas-abril

18s nicolas-abril:fix-1125-nested-match-lint

nicolas-abril:fix-1125-nested-match-lint

18s

The refusal of a nested match on a split value names it and says where to match it (#1125) repo-gate #9: Pull request #1290 synchronize by nicolas-abril

17s nicolas-abril:fix-1125-nested-match-lint

nicolas-abril:fix-1125-nested-match-lint

17s

The refusal of a nested match on a split value names it and says where to match it (#1125) repo-gate #8: Pull request #1290 synchronize by nicolas-abril

18s nicolas-abril:fix-1125-nested-match-lint

nicolas-abril:fix-1125-nested-match-lint

18s