Check overlay annotations

Merge pull request #20173 from hvitved/rust/type-mention-remove-restr… #885

Sign in to view logs

Triggered via push August 6, 2025 08:13

hvitved

main

Status Success

Total duration 20s

Artifacts –

check-overlay-annotations.yml

on: push