Skip to content
🔬 HydeStan

[2.x] Improve the numerical filename priority prefix feature #10373

Sign in to view logs

[2.x] Improve the numerical filename priority prefix feature

[2.x] Improve the numerical filename priority prefix feature #10373

Triggered via pull request May 6, 2024 16:00
@caendesilvacaendesilva
synchronize #1710
support-automatic-navigation-priorities-by-prefixing-a-number-in-filenames
Status Success
Total duration 15s
Artifacts –

hyde-stan.yml

on: pull_request
analyze
6s
analyze
Fit to window
Zoom out
Zoom in