[job-logs.txt](https://github.com/user-attachments/files/18962406/job-logs.txt) CI run: https://github.com/runeksvendsen/dump-decls/actions/runs/13503738004/job/37728348598
