Skip to content

Merge remote-tracking branch 'origin/main' into async_maybe_refresh_core #1066

Merge remote-tracking branch 'origin/main' into async_maybe_refresh_core

Merge remote-tracking branch 'origin/main' into async_maybe_refresh_core #1066

Triggered via push June 7, 2023 04:35
Status Success
Total duration 34s
Artifacts
Validation
23s
Validation
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Validation
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.