Skip to content

Merge pull request #134 from ch-systems/alex/constant-types #42

Merge pull request #134 from ch-systems/alex/constant-types

Merge pull request #134 from ch-systems/alex/constant-types #42

Triggered via push July 30, 2024 22:41
Status Success
Total duration 28s
Artifacts
check_todos
17s
check_todos
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 1 warning, and 10 notices
check_todos
Can't close issue [fully typed functions]! No issueId found
check_todos
Can't close issue [error handling and/or shadowing rules for this]! No issueId found
check_todos
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, DerJuulsn/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
check_todos
Creating issue with title [Better error message on failed type parse] because of a comment
check_todos
Creating issue with title [intern these strings and use an ID] because of a comment
check_todos
Creating issue with title [for all insert_ functions, return an error on overriding of names instead of] because of a comment
check_todos
Creating issue with title [The unify constraint should attempt to upcast `t2` as `t1` if possible, but will never] because of a comment
check_todos
Creating issue with title [don't create an ID and then reference it -- this is messy] because of a comment
check_todos
Creating issue with title [deduplicate module export logic with above func] because of a comment
check_todos
Creating issue with title [these should be boxed slices, as their size is not changed] because of a comment
check_todos
Creating issue with title [make this petr type instead of typevariable] because of a comment
check_todos
Closing issue #64 because a comment with the title [do I need to track this module id?] were removed
check_todos
Closing issue #64 because a comment with the title [do I need to track this module id?] were removed