Issues

• [CI drift] Heavy / Coverage failing on main

  ci-compat-failure
  LeanOxide/leo3#207 · Filter by author github-actions opened on Sep 23, 2026
  13

• [CI drift] Compat / Full Matrix (macos-latest, Lean beta) failing on main

  ci-compat-failure
  LeanOxide/leo3#206 · Filter by author github-actions opened on Sep 16, 2026
  3

• [CI drift] Compat / Full Matrix (macos-latest, Lean nightly) failing on main

  ci-compat-failure
  LeanOxide/leo3#200 · Filter by author github-actions opened on Aug 30, 2026
  17

• [CI drift] Compat / Full Matrix (ubuntu-latest, Lean nightly) failing on main

  ci-compat-failure
  LeanOxide/leo3#198 · Filter by author github-actions opened on Aug 28, 2026
  11

• [CI drift] Heavy / AddressSanitizer failing on main

  ci-compat-failure
  LeanOxide/leo3#196 · Filter by author github-actions opened on Aug 26, 2026
  45

• Dependency Dashboard

  LeanOxide/leo3#3 · Filter by author renovate opened on Dec 10, 2025