[adrpo]

Fixes #61

A library that cannot be handled no longer stops "Update Package Index". It is left out, listed, and the job goes unstable and sends the list by mail.

Changes

• genindex: a rawdata.json ref without libraries (the Exception: LEPSE v1.2.1 in Handle libraries that fail to parse #61) is left out of the index with a warning. It no longer raises.
• updateinfo: everything it skips is collected, extending the skip from Skip a library that fails to load instead of aborting updateinfo #93:
  • tags where no library loaded, with whether the previous entry was kept or dropped
  • library files omc did not load, with the omc message
  • repositories that could not be fetched, where the cached clone was used (Retry git fetches, fall back to the cached clone #91)
  • duplicate library files (Warn loudly when a library from names is found more than once #80)
• Both commands write their list to updateinfo-problems.txt / genindex-problems.txt through common.write_problems. The file is removed after a clean run so a stale list never outlives it.
• Jenkinsfile: if either file exists, the update stage calls unstable(...) and emailext sends the list plus the console link to the new PROBLEMS_EMAIL parameter (default adrian.pop@liu.se; empty sends no mail).

Tests

tests/test_problems.py:

• write_problems: writing the list, and removing a stale file
• genindex.main on a rawdata.json with a libless ref: it is skipped from index.json and reported
• load_library records the omc error of a library that does not load

Locally all 41 tests pass except test_run_check_missing, which needs GITHUB_AUTH (set in CI). The Jenkinsfile change can only be checked by a run on Jenkins.

---

generated by Claude Code

🤖 Generated with Claude Code