refactor: lake: restrict cache fetch to leanprover* #4692
Annotations
2 warnings
|
The following actions use a deprecated Node.js version and will be forced to run on node20: tibdex/backport@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
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.
|
The logs for this run have expired and are no longer available.
Loading