Skip to content

change the type annotation error heuristic #1299

change the type annotation error heuristic

change the type annotation error heuristic #1299

Triggered via pull request September 26, 2024 04:29
Status Success
Total duration 16s
Artifacts

backport.yml

on: pull_request_target
Backport
8s
Backport
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Backport
The following actions use a deprecated Node.js version and will be forced to run on node20: tibdex/backport@9565281eda0731b1d20c4025c43339fb0a23812e. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Backport
Your repository allows merge commits and rebase merging. However, Backport only supports rebased and merged pull requests with a single commit and squashed and merged pull requests. Consider only allowing squash merging. See https://help.github.com/en/github/administering-a-repository/about-merge-methods-on-github for more information.