-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#69 In hyperpolymath/nextgen-typing;
k9: fix pre-existing "Validate K9 contracts" failures (3 errors, gates every PR)
bugSomething isn't workingSomething isn't workingStatus: Open.#59 In hyperpolymath/nextgen-typing;docs: retarget stale
src/interface/Abireferences after the OQ-001 src/ dropdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#58 In hyperpolymath/nextgen-typing;- Status: Open.#57 In hyperpolymath/nextgen-typing;
Decide: PMPL-1.0 vs MPL-2.0 SPDX in scorecard.yml / secret-scanner.yml
securitySecurity-related issue or vulnerabilitySecurity-related issue or vulnerabilityStatus: Open.#54 In hyperpolymath/nextgen-typing;READINESS.md claims "CI passing (dogfood-gate…)" but dogfood-gate is currently red
bugSomething isn't workingSomething isn't workingStatus: Open.#53 In hyperpolymath/nextgen-typing;Remove committed Idris2 build artifacts under src/interface/build/ttc/
enhancementNew feature or requestNew feature or requestStatus: Open.#51 In hyperpolymath/nextgen-typing;k9-validate: 3 remaining contract failures (2 trivial security_level + deploy.k9.ncl Nickel-indirection)
bugSomething isn't workingSomething isn't workingStatus: Open.#47 In hyperpolymath/nextgen-typing;docs: fix stale
src/abi/references (SD022 ×4)documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#42 In hyperpolymath/nextgen-typing;- Status: Open.#41 In hyperpolymath/nextgen-typing;
- Status: Open.#40 In hyperpolymath/nextgen-typing;
- Status: Open.#37 In hyperpolymath/nextgen-typing;