Skip to content

Update doc

Update doc #333

Check if misc/runautotools needs to be run

succeeded Oct 16, 2024 in 10s
Set up job
1s
Run actions/checkout@v4
1s
install dependencies
6s
Stage configure with revision removed
0s
Run autotools
1s
Remove configure revision again
0s
Check diff
0s
Post Run actions/checkout@v4
0s
Complete job
0s