badges/shields
1
0
Fork 0
mirror of https://github.com/badges/shields.git synced 2025-11-15 10:01:09 +03:00
Code Activity

Add [PypiTypes] badge (#10774)

Browse Source 
* add python typing badge

* prettier

* Update services/pypi/pypi-typing.service.js

Co-authored-by: jNullj <15849761+jNullj@users.noreply.github.com>

* address comments

* rename

* fix test

---------

Co-authored-by: jNullj <15849761+jNullj@users.noreply.github.com>
This commit is contained in:
Danny Yang
2024-12-31 11:33:36 -05:00
committed by GitHub
parent 85b44b9152
commit bf91e268d6
2 changed files with 54 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
services/pypi/pypi-types.tester.js Normal file
View File

@@ -0,0 +1,14 @@
import { createServiceTester } from '../tester.js'
export const t = await createServiceTester()
t.create('types (yes)')
.get('/pyre-check.json')
.expectBadge({ label: 'types', message: 'typed' })
t.create('types (no)')
.get('/z3-solver.json')
.expectBadge({ label: 'types', message: 'untyped' })
t.create('types (invalid)')
.get('/not-a-package.json')
.expectBadge({ label: 'types', message: 'package or version not found' })