Skip to content

Add tests for link-time recursive subtyping #16

Add tests for link-time recursive subtyping

Add tests for link-time recursive subtyping #16

Triggered via push May 27, 2023 14:33
Status Success
Total duration 11s
Artifacts
Mirror main branch to master branch
3s
Mirror main branch to master branch
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Mirror main branch to master branch
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: google/mirror-branch-action@v1.0. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.