Skip to content

Actions: simontreanor/Pyfun

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
782 workflow runs
782 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
types: alpha-rename imported schemes into the consumer's id space (#27) kernel #83: Commit b99a3a4 pushed by simontreanor
28s main
main
28s
lowering: matching Some/None pulls in the Option classes kernel #82: Pull request #29 opened by simontreanor
2m 9s fix/option-import-on-match
fix/option-import-on-match
2m 9s
lowering: matching Some/None pulls in the Option classes wheels #169: Pull request #29 opened by simontreanor
1m 54s fix/option-import-on-match
fix/option-import-on-match
1m 54s
types: solve the recursive effect equation exactly instead of widening kernel #81: Pull request #28 opened by simontreanor
1m 32s fix/effect-recursion-arity
fix/effect-recursion-arity
1m 32s
types: solve the recursive effect equation exactly instead of widening wheels #168: Pull request #28 opened by simontreanor
2m 25s fix/effect-recursion-arity
fix/effect-recursion-arity
2m 25s
types: alpha-rename imported schemes into the consumer's id space wheels #167: Pull request #27 opened by simontreanor
1m 52s fix/imported-scheme-tyvar-collision
fix/imported-scheme-tyvar-collision
1m 52s
types: alpha-rename imported schemes into the consumer's id space kernel #80: Pull request #27 opened by simontreanor
1m 33s fix/imported-scheme-tyvar-collision
fix/imported-scheme-tyvar-collision
1m 33s
docs: document extern keyword arguments (#22) pages #22: Commit 412cd3b pushed by simontreanor
59s main
main
59s
docs: document extern keyword arguments (#22) kernel #79: Commit 412cd3b pushed by simontreanor
1m 36s main
main
1m 36s
docs: document extern keyword arguments (#22) wheels #166: Commit 412cd3b pushed by simontreanor
1m 27s main
main
1m 27s
docs: document extern keyword arguments wheels #165: Pull request #22 synchronize by simontreanor
1m 28s docs-extern-kwargs
docs-extern-kwargs
1m 28s
docs: document extern keyword arguments kernel #78: Pull request #22 synchronize by simontreanor
1m 33s docs-extern-kwargs
docs-extern-kwargs
1m 33s
docs: document extern keyword arguments wheels #164: Pull request #22 opened by simontreanor
1m 50s docs-extern-kwargs
docs-extern-kwargs
1m 50s
docs: document extern keyword arguments kernel #77: Pull request #22 opened by simontreanor
1m 51s docs-extern-kwargs
docs-extern-kwargs
1m 51s
extern: caller-supplied keyword slots (kw = ...) (#21) wheels #163: Commit c1d5f1f pushed by simontreanor
2m 4s main
main
2m 4s
extern: caller-supplied keyword slots (kw = ...) (#21) kernel #76: Commit c1d5f1f pushed by simontreanor
1m 48s main
main
1m 48s
extern: caller-supplied keyword slots (kw = ...) (#21) pages #21: Commit c1d5f1f pushed by simontreanor
59s main
main
59s
extern: caller-supplied keyword slots (kw = ...) kernel #75: Pull request #21 opened by simontreanor
1m 50s extern-kwarg-slots
extern-kwarg-slots
1m 50s
extern: caller-supplied keyword slots (kw = ...) wheels #162: Pull request #21 opened by simontreanor
1m 51s extern-kwarg-slots
extern-kwarg-slots
1m 51s
roadmap: track caller-varying extern kwargs (#20) kernel #74: Commit dfdba9c pushed by simontreanor
2m 0s main
main
2m 0s
roadmap: track caller-varying extern kwargs (#20) wheels #161: Commit dfdba9c pushed by simontreanor
1m 39s main
main
1m 39s
roadmap: track caller-varying extern kwargs kernel #73: Pull request #20 opened by simontreanor
1m 49s extern-caller-varying-kwargs-backlog
extern-caller-varying-kwargs-backlog
1m 49s
roadmap: track caller-varying extern kwargs wheels #160: Pull request #20 opened by simontreanor
1m 28s extern-caller-varying-kwargs-backlog
extern-caller-varying-kwargs-backlog
1m 28s
prelude: input builtin (string ->{io} string) (#19) kernel #72: Commit 63a16a0 pushed by simontreanor
1m 52s main
main
1m 52s
prelude: input builtin (string ->{io} string) (#19) pages #20: Commit 63a16a0 pushed by simontreanor
58s main
main
58s
ProTip! You can narrow down the results and go further in time using created:<2026-07-27 or the other filters available.