Skip to content

Avoid undefined behaviour when deleting a void * #2038

Avoid undefined behaviour when deleting a void *

Avoid undefined behaviour when deleting a void * #2038

Triggered via pull request March 20, 2024 13:02
@th-ottoth-otto
synchronize #967
th-otto:PR-19
Status Success
Total duration 4m 49s
Artifacts 2

linux.yml

on: pull_request
create_dev_release
4s
create_dev_release
Matrix: vanilla-linux
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
vanilla-linux (gcc)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/[email protected], actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
vanilla-linux (clang)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/[email protected], actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
vanilla-conquer-linux-clang-x86_64 Expired
9.97 MB
vanilla-conquer-linux-gcc-x86_64 Expired
19.7 MB