Commit History

Auteur SHA1 Bericht Datum
  Jelmer Vernooij 3e7ec083c9 Restrict github actions for pushes 1 maand geleden
  Jelmer Vernooij 74d3022233 Enable cache for pip 1 maand geleden
  Jelmer Vernooij e5c7be56cc Install specific mypy version 1 maand geleden
  Edgar Ramírez-Mondragón 2f84f64b52 Support Python 3.13 3 maanden geleden
  Jelmer Vernooij cf54b9dbf2 Pin ruff. Fixes #1314 6 maanden geleden
  Jelmer Vernooij e1787b90c8 Check formatting in actions 6 maanden geleden
  Jelmer Vernooij 4ec8ab9d80 Drop Python 3.7 support 6 maanden geleden
  Jelmer Vernooij 245331a60d Move tests to root. Fixes #1024 7 maanden geleden
  dependabot[bot] 63cce31647 Bump actions/setup-python from 2 to 5 7 maanden geleden
  dependabot[bot] d9bdda0067 Bump actions/checkout from 2 to 4 7 maanden geleden
  Jelmer Vernooij 28b1ae5ad1 Revert "Bump the github_actions group with 5 updates" 9 maanden geleden
  Jelmer Vernooij 8276aad24f Install setuptools-rust 1 jaar geleden
  Christian Clauss 79159b9504 Add Python 3.12 to the testing 10 maanden geleden
  dependabot[bot] 655a03bdc4 Bump the github_actions group with 5 updates 10 maanden geleden
  Jelmer Vernooij ff64fa9e44 Migrate from flake8 to ruff (#1231) 1 jaar geleden
  Jelmer Vernooij e3333e0301 Add codespell target 1 jaar geleden
  Jelmer Vernooij 8c8b0ede19 Run codespel. 1 jaar geleden
  Christian Clauss 4c89895458 Upgrade GitHub Actions 1 jaar geleden
  Jelmer Vernooij d1ba2d4778 Cope with Protocol not being available on Python 3.8 1 jaar geleden
  Jelmer Vernooij e8a842d7fc Drop pypy3.9, since it's not available on GitHub actions. 1 jaar geleden
  Jelmer Vernooij 92efd2d193 Fix python 3.6. 1 jaar geleden
  Jelmer Vernooij 16615fcb6d Bump minimum python to 3.7. 1 jaar geleden
  skshetry 0a2c077c6d ci: use released Python 3.11 version 2 jaren geleden
  Jelmer Vernooij dd0fadc0d1 Fix triggering GitHub action on PR. 2 jaren geleden
  Jelmer Vernooij 4a8381ffb2 Trigger actions just on push, not push and PR. 2 jaren geleden
  Jelmer Vernooij de49346e9b Clarify action name. 2 jaren geleden