[GH] (burr/main): Workflow run "documentation" is working again!

[GitBox]

The GitHub Actions job "documentation" on burr.git/main has succeeded.
Run started by GitHub user skrawcz (triggered by skrawcz).

Head commit for run:
52a4714b83709b90491d5de05585294db024cabd / Stefan Krawczyk 
<stef...@cs.stanford.edu>
Fixes precommit

Report URL: https://github.com/apache/burr/actions/runs/21550999689

With regards,
GitHub Actions via GitBox