Commit Graph

201 Commits

Author SHA1 Message Date
Stephan Renatus 5f3ddad7bc benchmarks: rename /public -> /docs
because the options in the github settings are hardcoded: / or /docs.

Signed-off-by: Stephan Renatus <stephan.renatus@gmail.com>
2026-04-30 15:17:43 +02:00