Skip to content

Add test for well-founded recursive instances #1

Add test for well-founded recursive instances

Add test for well-founded recursive instances #1

Triggered via pull request July 22, 2024 07:45
@nomeatanomeata
closed #1
Status Success
Total duration 13s
Artifacts

backport.yml

on: pull_request_target
Backport
2s
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/