All pull requests

Pull requests

• [pre-commit.ci] pre-commit autoupdate

  #262·pre-commit-ci[bot] opened Oct 5, 2026Bot·

  ·

• Bump codecov/codecov-action from 7.0.0 to 7.1.1

  dependenciesgithub_actions
  #261·dependabot[bot] opened Oct 1, 2026Bot·

  ·

• Remove dark-theme hack given upstream fix

  documentation
  #94·jthielen opened Sep 9, 2022Collaborator·1 task·

  ·
  1

  2