Skip to content

Merge pull request #20081 from d10c/d10c/diff-informed-phase-3-rust #3468

Merge pull request #20081 from d10c/d10c/diff-informed-phase-3-rust

Merge pull request #20081 from d10c/d10c/diff-informed-phase-3-rust #3468

Triggered via push July 23, 2025 14:31
Status Success
Total duration 18m 24s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CodeQL-Build
Could not cleanup TRAP caches as the token did not have the required permissions. To clean up TRAP caches, ensure the token has the "actions:write" permission. See https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs for more information.