issues Search Results · language:Dune language:JavaScript language:Python language:TypeScript language:JavaScript
Filter by
56.9M results
Hi BioSimulators team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For the standardized registry ...
Heime-Jorgen
📦 基础信息
- 包名: js-yaml
- 当前版本: 4.1.1
- 目标版本: ≥4.2.0
- 变更范围: security-only
- Workspace: 间接依赖（无直接 workspace）
- 依赖类型: 间接（transitive）
🔧 升级方法
# 间接依赖，升级方式: 通过升级直接依赖让它带新版上来，或加 overrides
# 4.2.0
...
dependencies
security
nocoo
Hi PySB team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For rule-based kinetic modeling of ...
📦 基础信息
- 包名: astro
- 当前版本: 6.4.6
- 目标版本: 6.4.7
- 变更范围: patch
- Workspace: packages/web
- 依赖类型: dependencies
🔧 升级方法
# packages/web
cd packages/web
bun add astro@6.4.7
📋 巡检记录
| 时间 | 状态 | ...
dependencies
Tool Submission
| Field | Value |
| --- | --- |
| Name | ASCII Art Generator |
| Description | Create ASCII art from images text with the ASCII Art Generator. |
| URL | https://www.textreverse.com/ascii-art.php ...
no-repo-link
tool-submission
BraveOPotato
📦 基础信息
- 包名: @vitest/coverage-v8
- 当前版本: 4.1.8
- 目标版本: 4.1.9
- 变更范围: patch
- Workspace: .
- 依赖类型: devDependencies
🔧 升级方法
# .
cd .
bun add -d @vitest/coverage-v8@4.1.9
📋 巡检记录
| 时间 | 状态 ...
dependencies
mateusmqxHi Tellurium team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For systems biology simulation ...
- 리뷰 조회 시 프로젝트 번호 - 프로젝트 제목이 나오도록 수정
fix
kjh3165
📦 基础信息
- 包名: vitest
- 当前版本: 4.1.8
- 目标版本: 4.1.9
- 变更范围: patch
- Workspace: ., dashboard
- 依赖类型: devDependencies
🔧 升级方法
# .
cd .
bun add -d vitest@4.1.9
# dashboard
cd dashboard
bun add ...
dependencies
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.