Create issues for TODOs

Merge pull request #127 from sezna/alex/size-of-intrinsic #40

Sign in to view logs

Summary
Jobs
- check_todos
Run details
- Usage
- Workflow file

Annotations

1 error, 1 warning, and 3 notices

Can't close issue [introduce scopes here, like in the binder, except with type variables]! No issueId found

The following actions uses Node.js version which is deprecated 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/

Creating issue with title [other expr kinds like bindings] because of a comment

Creating issue with title [support partial application] because of a comment

Closing issue #109 because a comment with the title [deduplicate monomorphized functions] were removed

This job succeeded