• 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
  • Tree
  • List 9
  • Changed 2
  • Source Changed 0
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses

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 · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc