Skip to content

Actions: bendlang/bend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
443 workflow runs
443 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
fix(cli): distinguish exhausted kernel conversion budget repo-gate #439: Pull request #1552 opened by oxura
24s oxura:fix/1322-verdict-fuel-limit-20261014
oxura:fix/1322-verdict-fuel-limit-20261014
24s
The verdict says why each def it lists relies on unsafe or foreign code repo-gate #438: Pull request #1531 synchronize by MattCozendey
19s MattCozendey:verdict-reasons
MattCozendey:verdict-reasons
19s
The verdict says why each def it lists relies on unsafe or foreign code repo-gate #437: Pull request #1531 synchronize by MattCozendey
16s MattCozendey:verdict-reasons
MattCozendey:verdict-reasons
16s
Simplify bendtt.lean proofs (-993 tokens, same claims) repo-gate #436: Pull request #1551 opened by nicolas-abril
22s ai/lean-simp
ai/lean-simp
22s
fix(runtime): correct JS text boundaries after the Char rewrite repo-gate #435: Pull request #1549 synchronize by Lorenzobattistela
17s oxura:fix/1411-js-text-boundaries-20261013
oxura:fix/1411-js-text-boundaries-20261013
17s
perf(js): reuse unchanged records after pattern matching repo-gate #434: Pull request #1550 opened by sebastian-griego
27s sebastian-griego:perf/js-record-reuse
sebastian-griego:perf/js-record-reuse
27s
fix(runtime): correct JS text boundaries after the Char rewrite repo-gate #433: Pull request #1549 synchronize by oxura
17s oxura:fix/1411-js-text-boundaries-20261013
oxura:fix/1411-js-text-boundaries-20261013
17s
fix(runtime): correct JS text boundaries after the Char rewrite repo-gate #432: Pull request #1549 opened by oxura
20s oxura:fix/1411-js-text-boundaries-20261013
oxura:fix/1411-js-text-boundaries-20261013
20s
fix(base): stop list searches when the result is known repo-gate #431: Pull request #1548 synchronize by Lorenzobattistela
19s sebastian-griego:fix/list-search-short-circuit
sebastian-griego:fix/list-search-short-circuit
19s
fix(runtime): a Char holds any u32 on every lane; U+FFFD only at text edges repo-gate #430: Pull request #1411 synchronize by nicolas-abril
31s oxura:fix/1080-unicode-scalar-construction
oxura:fix/1080-unicode-scalar-construction
31s
fix(base): stop list searches when the result is known repo-gate #429: Pull request #1548 opened by sebastian-griego
23s sebastian-griego:fix/list-search-short-circuit
sebastian-griego:fix/list-search-short-circuit
23s
fix(base): avoid intermediate rounding in F32.round repo-gate #428: Pull request #1547 opened by vicmcorrea
1m 15s vicmcorrea:fix/f32-round-precision
vicmcorrea:fix/f32-round-precision
1m 15s
A bang chains its rounds on the device: the pack takes the next frontier and sizes the next round's passes, so one GPU submission holds up to 64 rounds repo-gate #427: Pull request #1447 synchronize by nicolas-abril
29s nicolas-abril:gpu-device-loop
nicolas-abril:gpu-device-loop
29s
fix(runtime): a Char holds any u32 on every lane; U+FFFD only at text edges repo-gate #426: Pull request #1411 synchronize by nicolas-abril
34s oxura:fix/1080-unicode-scalar-construction
oxura:fix/1080-unicode-scalar-construction
34s
bend PROOF.bend fails only when a law or its proof relies on unsafe or foreign code (#1463) repo-gate #425: Pull request #1472 synchronize by viridale
18s viridale:fix-1463-proof-claims
viridale:fix-1463-proof-claims
18s
ty_holds opens a datatype once with DUMMY for its value arguments (#1513) repo-gate #424: Pull request #1542 synchronize by Lorenzobattistela
18s fix-1513-ty-holds
fix-1513-ty-holds
18s
fix(runtime): a Char holds any u32 on every lane; U+FFFD only at text edges repo-gate #423: Pull request #1411 synchronize by nicolas-abril
24s oxura:fix/1080-unicode-scalar-construction
oxura:fix/1080-unicode-scalar-construction
24s
The kernel checks a self-call's descent against the column's pattern, as bend2's term_descend does, so a constructor rebuilt around a smaller part of its input descends (#1167) repo-gate #422: Pull request #1200 synchronize by nicolas-abril
18s nicolas-abril:kernel-pattern-descent
nicolas-abril:kernel-pattern-descent
18s
Effect-defined C names use explicit HID markers repo-gate #421: Pull request #1546 opened by oxura
21s oxura:fix/1533-explicit-host-ids-20261013
oxura:fix/1533-explicit-host-ids-20261013
21s
fix(runtime): reclaim native channel rows and unread buffered values repo-gate #420: Pull request #1532 synchronize by oxura
20s oxura:fix/issue-1268-channel-lifetime-20261012
oxura:fix/issue-1268-channel-lifetime-20261012
20s
ty_holds opens a datatype once with DUMMY for its value arguments (#1513) repo-gate #419: Pull request #1542 synchronize by Lorenzobattistela
17s fix-1513-ty-holds
fix-1513-ty-holds
17s
file_push takes several lines, so comp.ts says the same in 44 fewer tokens repo-gate #418: Pull request #1545 opened by PedroVIOliv
19s PedroVIOliv:comp-file-push-lines
PedroVIOliv:comp-file-push-lines
19s
fix(runtime): reclaim native channel rows and unread buffered values repo-gate #417: Pull request #1532 synchronize by Lorenzobattistela
22s oxura:fix/issue-1268-channel-lifetime-20261012
oxura:fix/issue-1268-channel-lifetime-20261012
22s
fix(verdict): show kernel failure details (#1535) repo-gate #416: Pull request #1536 synchronize by Lorenzobattistela
16s viridale:fix-1535-verdict-diagnostics
viridale:fix-1535-verdict-diagnostics
16s
fix(verdict): show kernel failure details (#1535) repo-gate #415: Pull request #1536 synchronize by Lorenzobattistela
20s viridale:fix-1535-verdict-diagnostics
viridale:fix-1535-verdict-diagnostics
20s