• 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: main
CHANGE BRANCH
x
Reset
  • main
  • 86-migrate-setup-py-to-pyproject-toml
  • gh_pypi_publish_v1
  • 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 main
  • 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
17165799192 main use pypi-publish gh action release branch push 22 Aug 2025 08:58PM UTC brandonwillard github
98.75
15836253199 main publish wheel push 23 Jun 2025 10:14PM UTC brandonwillard github
98.75
15767039998 main Update Python version and build setup push 19 Jun 2025 10:08PM UTC brandonwillard github
98.75
3999490523 main fix permuteo docstring push 24 Jan 2023 06:59PM UTC Brandon T. Willard github pending completion  
3999467898 main Update PyPy version in CI tests push 24 Jan 2023 06:56PM UTC Brandon T. Willard github pending completion  
3999469788 main Merge 0e42d6aaa into ddf36073f Pull #74 24 Jan 2023 06:56PM UTC GitHub github pending completion  
2756373321 main Update Relation's __str__ and __repr__ implementations push 28 Jul 2022 07:58PM UTC Brandon T. Willard github pending completion  
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