Skip to content

Get options also from the default target (#6530) #33

Get options also from the default target (#6530)

Get options also from the default target (#6530) #33

check-formatting

succeeded Mar 6, 2025 in 59s
Set up job
0s
Run actions/checkout@v4
3s
Install Mono
52s
Run ./docs/build_toc.sh --check-only
0s
Post Run actions/checkout@v4
0s
Complete job
0s