[GH] (burr/main): Workflow run "Build Burr" failed!

[GitBox]

The GitHub Actions job "Build Burr" on burr.git/main has failed.
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/21550999682

With regards,
GitHub Actions via GitBox