Skip to content

Merge branch 'upstream' into merge-upstream #7

Merge branch 'upstream' into merge-upstream

Merge branch 'upstream' into merge-upstream #7

Triggered via push June 6, 2023 11:22
Status Success
Total duration 11s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Mirror main branch to master branch
2s
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/[email protected]. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.