Commit history

1. Commits on May 27, 2024

   • Update to the fixed version of `Vampire`

     Byron

     authored
     7bdcfa5View commit details

     Copy full SHA for 7bdcfa5

     View code at this pointBrowse repository at this point

   • Bump Vampire/setup-wsl from 3.0.0 to 3.1.0

     Show description for d3b181d
     dependabot[bot]

     authored
     d3b181dView commit details

     Copy full SHA for d3b181d

     View code at this pointBrowse repository at this point
2. Commits on May 26, 2024

   • Unpin Cygwin `git`; add our `.git` as a `safe.directory`

     Show description for eb06a18
     EliahKagan

     committed
     eb06a18View commit details

     Copy full SHA for eb06a18

     View code at this pointBrowse repository at this point

   • Momentarily downgrade Git on Cygwin to investigate failures

     Show description for cf81c6c
     EliahKagan

     committed
     cf81c6cView commit details

     Copy full SHA for cf81c6c

     View code at this pointBrowse repository at this point
3. Commits on Mar 29, 2024

   • Annotate basic deprecation tests; have mypy scan it

     Show description for 61273aa
     EliahKagan

     committed
     61273aaView commit details

     Copy full SHA for 61273aa

     View code at this pointBrowse repository at this point
4. Commits on Mar 14, 2024

   • Merge pull request #1859 from EliahKagan/doc-types

     Show description for bcea9a8
     Byron

     authored
     bcea9a8View commit details

     Copy full SHA for bcea9a8

     View code at this pointBrowse repository at this point

   • Merge pull request #1872 from EliahKagan/doc-extra

     Show description for 883b03a
     Byron

     authored
     883b03aView commit details

     Copy full SHA for 883b03a

     View code at this pointBrowse repository at this point

   • Merge branch 'main' into doc-types

     EliahKagan

     committed
     0b99041View commit details

     Copy full SHA for 0b99041

     View code at this pointBrowse repository at this point
5. Commits on Mar 13, 2024

   • Add a "doc" extra for documentation build dependencies

     Show description for 74df5a8
     EliahKagan

     committed
     74df5a8View commit details

     Copy full SHA for 74df5a8

     View code at this pointBrowse repository at this point

   • Clean up mention of manual hook stage

     Show description for f788418
     EliahKagan

     committed
     f788418View commit details

     Copy full SHA for f788418

     View code at this pointBrowse repository at this point
6. Commits on Mar 11, 2024

   • lint: switch Black with `ruff-format`

     Borda

     committed
     517f83aView commit details

     Copy full SHA for 517f83a

     View code at this pointBrowse repository at this point
7. Commits on Mar 9, 2024

   • Colorize mypy output on CI for easier reading

     Show description for aeacb00
     EliahKagan

     committed
     aeacb00View commit details

     Copy full SHA for aeacb00

     View code at this pointBrowse repository at this point

   • Adjust mypy options to work well with mypy 1.9.0

     Show description for 9ed904c
     EliahKagan

     committed
     9ed904cView commit details

     Copy full SHA for 9ed904c

     View code at this pointBrowse repository at this point
8. Commits on Feb 15, 2024

   • Factor venv activation into the venv creation step

     EliahKagan

     committed
     4b427c9View commit details

     Copy full SHA for 4b427c9

     View code at this pointBrowse repository at this point

   • Re-remove safe.directory step

     Show description for bad545a
     EliahKagan

     committed
     bad545aView commit details

     Copy full SHA for bad545a

     View code at this pointBrowse repository at this point

   • Bring back venv

     Show description for b32932f
     EliahKagan

     committed
     b32932fView commit details

     Copy full SHA for b32932f

     View code at this pointBrowse repository at this point

   • Take ownership of cloned repository

     EliahKagan

     committed
     20780cbView commit details

     Copy full SHA for 20780cb

     View code at this pointBrowse repository at this point

   • Debug ownership

     EliahKagan

     committed
     46e4234View commit details

     Copy full SHA for 46e4234

     View code at this pointBrowse repository at this point

   • Add back safe.directory step

     Show description for ab37ae7
     EliahKagan

     committed
     ab37ae7View commit details

     Copy full SHA for ab37ae7

     View code at this pointBrowse repository at this point

   • Run tests as non-root user in Alpine Linux

     Show description for 5de954a
     EliahKagan

     committed
     5de954aView commit details

     Copy full SHA for 5de954a

     View code at this pointBrowse repository at this point

   • Use venv on Alpine Linux

     Show description for a45d0b0
     EliahKagan

     committed
     a45d0b0View commit details

     Copy full SHA for a45d0b0

     View code at this pointBrowse repository at this point

   • Work around different ownership in container

     Show description for cefb53e
     EliahKagan

     committed
     cefb53eView commit details

     Copy full SHA for cefb53e

     View code at this pointBrowse repository at this point

   • Test Alpine Linux on CI

     Show description for 44b8562
     EliahKagan

     committed
     44b8562View commit details

     Copy full SHA for 44b8562

     View code at this pointBrowse repository at this point
9. Commits on Feb 12, 2024

   • Bump Vampire/setup-wsl from 2.0.2 to 3.0.0

     Show description for 7ba3fd2
     

     dependabot[bot]

     authored and

     Byron

     committed
     7ba3fd2View commit details

     Copy full SHA for 7ba3fd2

     View code at this pointBrowse repository at this point

   • Bump pre-commit/action from 3.0.0 to 3.0.1

     Show description for e75ea98
     

     dependabot[bot]

     authored and

     Byron

     committed
     e75ea98View commit details

     Copy full SHA for e75ea98

     View code at this pointBrowse repository at this point
10. Commits on Feb 6, 2024

    • Exclude unavailable Python versions for M1 runner

      Show description for 9ad28c3
      EliahKagan

      committed
      9ad28c3View commit details

      Copy full SHA for 9ad28c3

      View code at this pointBrowse repository at this point

    • Test with M1 macOS CI runner

      Show description for 8342f82
      EliahKagan

      committed
      8342f82View commit details

      Copy full SHA for 8342f82

      View code at this pointBrowse repository at this point
11. Commits on Jan 28, 2024

    • Use Python 3.9.16 on Cygwin CI

      Show description for 8dc4cb0
      EliahKagan

      committed
      8dc4cb0View commit details

      Copy full SHA for 8dc4cb0

      View code at this pointBrowse repository at this point

    • Use Python 3.8 on Cygwin CI

      Show description for 73ebcfa
      EliahKagan

      authored
      73ebcfaView commit details

      Copy full SHA for 73ebcfa

      View code at this pointBrowse repository at this point
12. Commits on Dec 23, 2023

    • Make setuptools check on CI more precise

      Show description for 7ef7245
      EliahKagan

      committed
      7ef7245View commit details

      Copy full SHA for 7ef7245

      View code at this pointBrowse repository at this point

    • Add missing pip in $PATH on Cygwin CI

      Show description for c567f6f
      EliahKagan

      committed
      c567f6fView commit details

      Copy full SHA for c567f6f

      View code at this pointBrowse repository at this point
13. Commits on Dec 18, 2023

    • Bump github/codeql-action from 2 to 3

      Show description for d46c70d
      dependabot[bot]

      authored
      d46c70dView commit details

      Copy full SHA for d46c70d

      View code at this pointBrowse repository at this point
14. Commits on Dec 13, 2023

    • Customize CodeQL

      Show description for 58547d8
      EliahKagan

      committed
      58547d8View commit details

      Copy full SHA for 58547d8

      View code at this pointBrowse repository at this point

    • Set up CodeQL

      Show description for 83b7ec6
      EliahKagan

      committed
      83b7ec6View commit details

      Copy full SHA for 83b7ec6

      View code at this pointBrowse repository at this point
15. Commits on Dec 11, 2023

    • Bump actions/setup-python from 4 to 5

      Show description for d1cb8c7
      dependabot[bot]

      authored
      d1cb8c7View commit details

      Copy full SHA for d1cb8c7

      View code at this pointBrowse repository at this point