Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 27, 2024

• Update to the fixed version of `Vampire`

  Byron

  authored
  7bdcfa5

  Copy full SHA for 7bdcfa5

• Bump Vampire/setup-wsl from 3.0.0 to 3.1.0

  Show description for d3b181d
  dependabot[bot]

  authored
  d3b181d

  Copy full SHA for d3b181d

Commits on May 26, 2024

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

  Show description for eb06a18
  EliahKagan

  committed
  eb06a18

  Copy full SHA for eb06a18

• Momentarily downgrade Git on Cygwin to investigate failures

  Show description for cf81c6c
  EliahKagan

  committed
  cf81c6c

  Copy full SHA for cf81c6c

Commits on Mar 29, 2024

• Annotate basic deprecation tests; have mypy scan it

  Show description for 61273aa
  EliahKagan

  committed
  61273aa

  Copy full SHA for 61273aa

Commits on Mar 14, 2024

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

  Show description for bcea9a8
  Byron

  authored
  bcea9a8

  Copy full SHA for bcea9a8

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

  Show description for 883b03a
  Byron

  authored
  883b03a

  Copy full SHA for 883b03a

• Merge branch 'main' into doc-types

  EliahKagan

  committed
  0b99041

  Copy full SHA for 0b99041

Commits on Mar 13, 2024

• Add a "doc" extra for documentation build dependencies

  Show description for 74df5a8
  EliahKagan

  committed
  74df5a8

  Copy full SHA for 74df5a8

• Clean up mention of manual hook stage

  Show description for f788418
  EliahKagan

  committed
  f788418

  Copy full SHA for f788418

Commits on Mar 11, 2024

• lint: switch Black with `ruff-format`

  Borda

  committed
  517f83a

  Copy full SHA for 517f83a

Commits on Mar 9, 2024

• Colorize mypy output on CI for easier reading

  Show description for aeacb00
  EliahKagan

  committed
  aeacb00

  Copy full SHA for aeacb00

• Adjust mypy options to work well with mypy 1.9.0

  Show description for 9ed904c
  EliahKagan

  committed
  9ed904c

  Copy full SHA for 9ed904c

Commits on Feb 15, 2024

• Factor venv activation into the venv creation step

  EliahKagan

  committed
  4b427c9

  Copy full SHA for 4b427c9

• Re-remove safe.directory step

  Show description for bad545a
  EliahKagan

  committed
  bad545a

  Copy full SHA for bad545a

• Bring back venv

  Show description for b32932f
  EliahKagan

  committed
  b32932f

  Copy full SHA for b32932f

• Take ownership of cloned repository

  EliahKagan

  committed
  20780cb

  Copy full SHA for 20780cb

• Debug ownership

  EliahKagan

  committed
  46e4234

  Copy full SHA for 46e4234

• Add back safe.directory step

  Show description for ab37ae7
  EliahKagan

  committed
  ab37ae7

  Copy full SHA for ab37ae7

• Run tests as non-root user in Alpine Linux

  Show description for 5de954a
  EliahKagan

  committed
  5de954a

  Copy full SHA for 5de954a

• Use venv on Alpine Linux

  Show description for a45d0b0
  EliahKagan

  committed
  a45d0b0

  Copy full SHA for a45d0b0

• Work around different ownership in container

  Show description for cefb53e
  EliahKagan

  committed
  cefb53e

  Copy full SHA for cefb53e

• Test Alpine Linux on CI

  Show description for 44b8562
  EliahKagan

  committed
  44b8562

  Copy full SHA for 44b8562

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
  7ba3fd2

  Copy full SHA for 7ba3fd2

• Bump pre-commit/action from 3.0.0 to 3.0.1

  Show description for e75ea98
  

  dependabot[bot]

  authored and

  Byron

  committed
  e75ea98

  Copy full SHA for e75ea98

Commits on Feb 6, 2024

• Exclude unavailable Python versions for M1 runner

  Show description for 9ad28c3
  EliahKagan

  committed
  9ad28c3

  Copy full SHA for 9ad28c3

• Test with M1 macOS CI runner

  Show description for 8342f82
  EliahKagan

  committed
  8342f82

  Copy full SHA for 8342f82

Commits on Jan 28, 2024

• Use Python 3.9.16 on Cygwin CI

  Show description for 8dc4cb0
  EliahKagan

  committed
  8dc4cb0

  Copy full SHA for 8dc4cb0

• Use Python 3.8 on Cygwin CI

  Show description for 73ebcfa
  EliahKagan

  authored
  73ebcfa

  Copy full SHA for 73ebcfa

Commits on Dec 23, 2023

• Make setuptools check on CI more precise

  Show description for 7ef7245
  EliahKagan

  committed
  7ef7245

  Copy full SHA for 7ef7245

• Add missing pip in $PATH on Cygwin CI

  Show description for c567f6f
  EliahKagan

  committed
  c567f6f

  Copy full SHA for c567f6f

Commits on Dec 18, 2023

• Bump github/codeql-action from 2 to 3

  Show description for d46c70d
  dependabot[bot]

  authored
  d46c70d

  Copy full SHA for d46c70d

Commits on Dec 13, 2023

• Customize CodeQL

  Show description for 58547d8
  EliahKagan

  committed
  58547d8

  Copy full SHA for 58547d8

• Set up CodeQL

  Show description for 83b7ec6
  EliahKagan

  committed
  83b7ec6

  Copy full SHA for 83b7ec6

Commits on Dec 11, 2023

• Bump actions/setup-python from 4 to 5

  Show description for d1cb8c7
  dependabot[bot]

  authored
  d1cb8c7

  Copy full SHA for d1cb8c7