• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

pythological / kanren
99%
master: 99%

Build:
Build:
LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Repo Added 21 Dec 2019 07:32PM UTC
Files 9
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • 86-migrate-setup-py-to-pyproject-toml
  • gh_pypi_publish_v1
  • main
  • master
  • publish-wheel
  • remove-typing-extensions
  • v0.2.5
  • v0.2.6
  • v0.3.0
  • v0.3.5
  • v1.0.0
  • v1.0.1

22 Aug 2025 11:04PM UTC coverage: 98.748%. Remained the same
17167788193

push

github

brandonwillard
Remove typing-extensions dependency

typing.Literal was added in Python 3.8, and we require >=3.9, so typing-extensions is unneeded.

265 of 274 branches covered (96.72%)

Branch coverage included in aggregate %.

760 of 764 relevant lines covered (99.48%)

4.97 hits per line

Relevant lines Covered
Build:
Build:
764 RELEVANT LINES 760 COVERED LINES
4.97 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
17167788193 main Remove typing-extensions dependency typing.Literal was added in Python 3.8, and we require >=3.9, so typing-extensions is unneeded. push 22 Aug 2025 11:05PM UTC brandonwillard github
98.75
17167753805 remove-typing-extensions Merge 15195652c into 86396d6e1 Pull #94 22 Aug 2025 11:03PM UTC web-flow github
98.75
17165799192 main use pypi-publish gh action release branch push 22 Aug 2025 08:58PM UTC brandonwillard github
98.75
17165754138 gh_pypi_publish_v1 Merge f18ea90b1 into 45ef3ed78 Pull #92 22 Aug 2025 08:55PM UTC web-flow github
98.75
17165736152 remove-typing-extensions Merge 4285d9db0 into 34a05e395 Pull #94 22 Aug 2025 08:54PM UTC web-flow github
98.75
15846262808 remove-typing-extensions Merge 4eb60564e into 48cc456d1 Pull #94 24 Jun 2025 09:10AM UTC web-flow github
98.75
15843197861 gh_pypi_publish_v1 Merge 73d88e412 into 48cc456d1 Pull #92 24 Jun 2025 06:39AM UTC web-flow github
98.75
15836253199 main publish wheel push 23 Jun 2025 10:14PM UTC brandonwillard github
98.75
15787696577 publish-wheel Merge 0bf2bf449 into 963e08dd8 Pull #90 20 Jun 2025 08:58PM UTC web-flow github
98.75
15767039998 main Update Python version and build setup push 19 Jun 2025 10:08PM UTC brandonwillard github
98.75
See All Builds (102)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc