Skip to content

[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied. #7211

[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied.

[smart_holder] Bug fix: std::unique_ptr deleter needs to be copied. #7211

Triggered via pull request November 1, 2023 07:49
Status Success
Total duration 14m 30s
Artifacts

format.yml

on: pull_request
Fit to window
Zoom out
Zoom in