Skip to content

[dwds] Use new hot restart API from embedder #12

[dwds] Use new hot restart API from embedder

[dwds] Use new hot restart API from embedder #12

Triggered via pull request June 11, 2026 22:14
@nshahannshahan
synchronize #2827
Status Success
Total duration 11s
Artifacts

github_actions_scan.yml Required

on: pull_request_target
check-changes
7s
check-changes
zizmor-scan
0s
zizmor-scan
zizmor-upload
0s
zizmor-upload
zizmor-output
0s
zizmor-output
Fit to window
Zoom out
Zoom in