Skip to content

Bugfix for DotLambda - (a, (b, c)) was incorrectly detected as a discard (a compiler generated one was there) #194

Bugfix for DotLambda - (a, (b, c)) was incorrectly detected as a discard (a compiler generated one was there)

Bugfix for DotLambda - (a, (b, c)) was incorrectly detected as a discard (a compiler generated one was there) #194

Triggered via pull request November 24, 2023 08:51
Status Success
Total duration 10s
Artifacts

check_release_notes.yml

on: pull_request
check_release_notes
2s

Annotations

1 warning
check_release_notes
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/github-script@v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/