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

Triggered via push July 25, 2024 15:07

sezna

main

Status Success

Total duration 17s

Artifacts –

on_main_commit.yml

on: push

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