kernel

kernel.yml

325 workflow runs

fix(typecheck): hint at String.repeat for string multiplication
requires action with the application:
kernel#325:Pull request#169openedbyPandaHUN777
PandaHUN777:fix/string-repeat-hint-133
Sep 28, 2026Action required
feat(typecheck): hint at List.concat for list addition
requires action with the application:
kernel#324:Pull request#168openedbyPandaHUN777
PandaHUN777:fix/list-add-concat-hint
Sep 28, 2026Action required
native: a generalized module-level value is annotated with Any (#167)
completed successfully:
kernel#323:Commit59be391pushedbysimontreanor
main
Sep 28, 20261m 29s
native: a generalized module-level value is annotated with Any
completed successfully:
kernel#322:Pull request#167openedbysimontreanor
native-generic-value-annotations
Sep 28, 20261m 43s
native: annotate module-level values; discarded matches run in place …
completed successfully:
kernel#321:Commit2b83615pushedbysimontreanor
main
Sep 28, 20261m 35s
native: annotate module-level values; discarded matches run in place
completed successfully:
kernel#320:Pull request#166openedbysimontreanor
native-module-value-annotations
Sep 28, 20261m 50s
Say and N more when a typed-hole refinement list is cut
requires action with the application:
kernel#319:Pull request#165openedbyamandeavor
amandeavor:fix/truncated-refinement-list-says-and-n-more
Sep 28, 2026Action required
Suggest keyword hints for logical operators
requires action with the application:
kernel#318:Pull request#164openedbyPandaHUN777
PandaHUN777:fix/logical-operator-hints-136
Sep 28, 2026Action required
native: annotate local functions; a real program through mypy (#163)
completed successfully:
kernel#317:Commit65ccb35pushedbysimontreanor
main
Sep 28, 20262m 31s
native: annotate local functions; a real program through mypy
completed successfully:
kernel#316:Pull request#163openedbysimontreanor
lowering/native-local-annotations
Sep 28, 20261m 56s
docs: tidy the native sections of ROADMAP and DESIGN (#162)
completed successfully:
kernel#315:Commitf8bf094pushedbysimontreanor
main
Sep 28, 20261m 40s
docs: tidy the native sections of ROADMAP and DESIGN
completed successfully:
kernel#314:Pull request#162openedbysimontreanor
roadmap/native-tidy
Sep 28, 20261m 46s
lowering: native ladders reach async return! matches (#161)
completed successfully:
kernel#313:Commite2bfeddpushedbysimontreanor
main
Sep 28, 20261m 42s
lowering: native ladders reach async return! matches
completed successfully:
kernel#312:Pull request#161openedbysimontreanor
lowering/native-async-return
Sep 28, 20261m 41s
docs: INTERNALS for tonight's native lowering, spawn handler and pack…
completed successfully:
kernel#311:Commit5a3448bpushedbysimontreanor
main
Sep 28, 20261m 38s
docs: INTERNALS for tonight's native lowering, spawn handler and packages
completed successfully:
kernel#310:Pull request#160openedbysimontreanor
docs/internals-native
Sep 28, 20261m 25s
lowering: native data class fields name their user types (#159)
completed successfully:
kernel#309:Commit1627b85pushedbysimontreanor
main
Sep 28, 20261m 45s
lowering: native data class fields name their user types
completed successfully:
kernel#308:Pull request#159openedbysimontreanor
lowering/native-typed-fields
Sep 28, 20261m 58s
native: typed emit and pyfun build for projects (#158)
completed successfully:
kernel#307:Commit8f6f8f3pushedbysimontreanor
main
Sep 28, 20261m 31s
native: typed emit and pyfun build for projects
completed successfully:
kernel#306:Pull request#158synchronizebysimontreanor
lowering/native-typed-projects
Sep 28, 20261m 58s
native: typed emit and pyfun build for projects
cancelled:
kernel#305:Pull request#158openedbysimontreanor
lowering/native-typed-projects
Sep 28, 202631s
docs: a Going native section in the README (#157)
completed successfully:
kernel#304:Commite9154dfpushedbysimontreanor
main
Sep 28, 20261m 30s
docs: a Going native section in the README
completed successfully:
kernel#303:Pull request#157openedbysimontreanor
docs/native-readme
Sep 28, 20261m 41s
cli: pyfun build --native compiles a program with mypyc (#156)
completed successfully:
kernel#302:Commit57e3e2epushedbysimontreanor
main
Sep 28, 20261m 46s
cli: pyfun build --native compiles a program with mypyc
completed successfully:
kernel#301:Pull request#156openedbysimontreanor
cli/build-native
Sep 28, 20261m 46s

Navigation Menu

kernel

325 workflow runs

fix(typecheck): hint at String.repeat for string multiplication

feat(typecheck): hint at List.concat for list addition

native: a generalized module-level value is annotated with Any (#167)

native: a generalized module-level value is annotated with Any

native: annotate module-level values; discarded matches run in place …

native: annotate module-level values; discarded matches run in place

Say `and N more` when a typed-hole refinement list is cut

Suggest keyword hints for logical operators

native: annotate local functions; a real program through mypy (#163)

native: annotate local functions; a real program through mypy

docs: tidy the native sections of ROADMAP and DESIGN (#162)

docs: tidy the native sections of ROADMAP and DESIGN

lowering: native ladders reach async return! matches (#161)

lowering: native ladders reach async return! matches

docs: INTERNALS for tonight's native lowering, spawn handler and pack…

docs: INTERNALS for tonight's native lowering, spawn handler and packages

lowering: native data class fields name their user types (#159)

lowering: native data class fields name their user types

native: typed emit and pyfun build for projects (#158)

native: typed emit and pyfun build for projects

native: typed emit and pyfun build for projects

docs: a Going native section in the README (#157)

docs: a Going native section in the README

cli: pyfun build --native compiles a program with mypyc (#156)

cli: pyfun build --native compiles a program with mypyc

Workflow runs for kernel

325 workflow runs