[GH] (burr/override-state-initialize): Workflow run "Build Burr" failed!

[GitBox]

The GitHub Actions job "Build Burr" on burr.git/override-state-initialize has 
failed.
Run started by GitHub user skrawcz (triggered by skrawcz).

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

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

With regards,
GitHub Actions via GitBox