Skip to content
PR update

Adding a more graceful termination for allocator (#3105) #32

Sign in to view logs

Adding a more graceful termination for allocator (#3105)

Adding a more graceful termination for allocator (#3105) #32

Triggered via push May 8, 2023 23:45
@zmerlynnzmerlynn
pushed d7a9e6a
main
Status Success
Total duration 11s
Artifacts –

pr_update.yml

on: push
autoupdate
2s
autoupdate
Fit to window
Zoom out
Zoom in

Annotations

1 warning
autoupdate
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: adRise/[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/.