Skip to content

Fix some old // <directive> to //@ <directive> #4829

Fix some old // <directive> to //@ <directive>

Fix some old // <directive> to //@ <directive> #4829

Triggered via pull request May 28, 2025 19:34
Status Success
Total duration 12s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in