Skip to content

fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining #3353

fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining

fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining #3353

Triggered via pull request July 28, 2024 17:47
@nomeatanomeata
closed #4839
Status Success
Total duration 9s
Artifacts

backport.yml

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

Annotations

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