Skip to content

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

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

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

Triggered via pull request November 1, 2023 23:59
Status Success
Total duration 14m 37s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

format.yml

on: pull_request
Fit to window
Zoom out
Zoom in