1. 25 Oct, 2022 2 commits
  2. 21 Oct, 2022 1 commit
  3. 19 Oct, 2022 3 commits
  4. 17 Oct, 2022 13 commits
  5. 12 Oct, 2022 2 commits
  6. 10 Oct, 2022 18 commits
  7. 03 Oct, 2022 1 commit
    • Robert Knight's avatar
      Remove CI status badge from README · 8ce09716
      Robert Knight authored
      This badge is no longer working because the CI workflow does not run
      directly on the `main` branch. Instead the Release workflow runs, and CI
      is part of that. We could make the badge reference this workflow
      instead, but the badge is now somewhat redundant as check statuses are
      easily available from the Actions tab on GitHub. This is different than
      when badges originally became popular and only third-party CI (eg.
      Travis) was available.
      8ce09716