Skip to content

Fix Buffer.is_managed to merge driver and resource signals #3169

Fix Buffer.is_managed to merge driver and resource signals

Fix Buffer.is_managed to merge driver and resource signals #3169

Triggered via push April 16, 2026 10:44
Status Success
Total duration 1m 14s
Artifacts

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in