此网站需要 JavaScript。
我的项目
项目探索
数据集
注册
登录
github-featured / yvgude--lean-ctx
项目文件夹
工单
工作流
所有工作流
addon-versions.yml
benchmark-study.yml
ci.yml
cla.yml
codeql.yml
dep-update.yml
grammar-addons.yml
history-audit.yml
issue-reopen.yml
publish-clients.yml
release.yml
secret-rotation-check.yml
security-check.yml
342 次工作流运行
操作者
所有操作者
frostbyte_neo
状态
所有状态
成功
失败
等待中
正在运行
fix: Windows CI flake in SSE replay test
release.yml #162
:
提交
c29b732c8a
推送者
frostbyte_neo
v3.5.4
2026-08-21 03:56:14 +00:00
0s
查看工作流文件
v3.5.3: rules-staleness detection, SLO fix, dashboard counter fix, vim X11 fix
release.yml #161
:
提交
0d84f5f087
推送者
frostbyte_neo
v3.5.3
2026-08-21 03:56:13 +00:00
0s
查看工作流文件
fix: wrap registry tool dispatch in block_in_place, gate process_guard test
release.yml #160
:
提交
6c12797a47
推送者
frostbyte_neo
v3.5.25
2026-08-21 03:56:13 +00:00
0s
查看工作流文件
fix(ci): ensure rustup toolchain is active before tests
release.yml #159
:
提交
c1c33bac52
推送者
frostbyte_neo
v3.5.24
2026-08-21 03:56:12 +00:00
0s
查看工作流文件
fix: exclude jemalloc feature on Windows CI builds
release.yml #158
:
提交
bb2d88e925
推送者
frostbyte_neo
v3.5.23
2026-08-21 03:56:12 +00:00
0s
查看工作流文件
fix: read_file_lossy uses fstat() on fd instead of separate stat() syscall
release.yml #157
:
提交
2f83eb4894
推送者
frostbyte_neo
v3.5.22
2026-08-21 03:56:12 +00:00
0s
查看工作流文件
feat: v3.5.21 — graph.db DATA_DIR fix, graph index UX, dashboard events, config schema
release.yml #156
:
提交
8d837e6e65
推送者
frostbyte_neo
v3.5.21
2026-08-21 03:56:11 +00:00
0s
查看工作流文件
fix(test): use Path::join for cross-platform codex doc tests
release.yml #155
:
提交
d64371aee1
推送者
frostbyte_neo
v3.5.20
2026-08-21 03:56:11 +00:00
0s
查看工作流文件
v3.5.2: fix agent zombie cleanup, CLI/MCP feature parity, savings accuracy
release.yml #154
:
提交
5d2d745c4c
推送者
frostbyte_neo
v3.5.2
2026-08-21 03:56:11 +00:00
0s
查看工作流文件
fix(test): exclude DirList from rewrite script assertion
release.yml #153
:
提交
bf5d5adffa
推送者
frostbyte_neo
v3.5.19
2026-08-21 03:56:10 +00:00
0s
查看工作流文件
fix: gh api + log commands bypass all output compression
release.yml #152
:
提交
9664e2422b
推送者
frostbyte_neo
v3.5.18
2026-08-21 03:56:10 +00:00
0s
查看工作流文件
fix(test): normalize CRLF in include_str! for Windows CI
release.yml #151
:
提交
25857d04e3
推送者
frostbyte_neo
v3.5.17
2026-08-21 03:56:10 +00:00
0s
查看工作流文件
feat: shell_activation opt-in, .lean-ctx-id project identity, identity-aware caches
release.yml #150
:
提交
f4949d40ba
推送者
frostbyte_neo
v3.5.16
2026-08-21 03:56:09 +00:00
0s
查看工作流文件
feat: memory_cleanup setting (aggressive/shared idle TTL)
release.yml #149
:
提交
db674ba541
推送者
frostbyte_neo
v3.5.15
2026-08-21 03:56:09 +00:00
0s
查看工作流文件
fix: clippy Duration::from_millis(5000) → from_secs(5) (CI Clippy)
release.yml #148
:
提交
911d65a687
推送者
frostbyte_neo
v3.5.14
2026-08-21 03:56:08 +00:00
0s
查看工作流文件
v3.5.13: instruction file protection — never compress SKILL.md/AGENTS.md/rules, Windows PowerShell hooks
release.yml #147
:
提交
4a9cb1da25
推送者
frostbyte_neo
v3.5.13
2026-08-21 03:56:08 +00:00
0s
查看工作流文件
v3.5.12: RAM optimization — eliminate double tokenization, wire MemoryProfile, doctor enhancement
release.yml #146
:
提交
62e1e8b46a
推送者
frostbyte_neo
v3.5.12
2026-08-21 03:56:07 +00:00
0s
查看工作流文件
fix: bump token overhead budget for Windows CI (5600→5700)
release.yml #145
:
提交
0090dfecf2
推送者
frostbyte_neo
v3.5.11
2026-08-21 03:56:07 +00:00
0s
查看工作流文件
v3.5.10: 4-layer terse compression engine, 82 Lean4 theorems, unified CompressionLevel
release.yml #144
:
提交
fbf20879de
推送者
frostbyte_neo
v3.5.10
2026-08-21 03:56:06 +00:00
0s
查看工作流文件
v3.5.1: fix tool registry init, Copilot MCP paths, agent-scoped rules
release.yml #143
:
提交
ed296fcc70
推送者
frostbyte_neo
v3.5.1
2026-08-21 03:56:06 +00:00
0s
查看工作流文件
fix(ci): add zig pip package dir to PATH for cargo-zigbuild
release.yml #142
:
提交
c242702976
推送者
frostbyte_neo
v3.5.0
2026-08-21 03:56:05 +00:00
0s
查看工作流文件
chore: bump version to 3.4.7
release.yml #141
:
提交
ef89816a80
推送者
frostbyte_neo
v3.4.7
2026-08-21 03:56:05 +00:00
0s
查看工作流文件
fix: resolve clippy 1.95 warnings (map_unwrap_or, duration_suboptimal_units)
release.yml #140
:
提交
b2abbae7cb
推送者
frostbyte_neo
v3.4.6
2026-08-21 03:56:05 +00:00
0s
查看工作流文件
release: v3.4.5 — Agent Harness, panic recovery, bug fixes
release.yml #139
:
提交
f23f841b7f
推送者
frostbyte_neo
v3.4.5
2026-08-21 03:56:04 +00:00
0s
查看工作流文件
fix: move skill templates into crate for crates.io publish
release.yml #138
:
提交
ce170cd344
推送者
frostbyte_neo
v3.4.4
2026-08-21 03:56:04 +00:00
0s
查看工作流文件
release: v3.4.3 — Pi raw mode, hook guards, telemetry transparency
release.yml #137
:
提交
646e4e6959
推送者
frostbyte_neo
v3.4.3
2026-08-21 03:56:03 +00:00
0s
查看工作流文件
fix: ignore flaky stdin-close test on Windows CI
release.yml #136
:
提交
5f6f570b5b
推送者
frostbyte_neo
v3.4.2
2026-08-21 03:56:03 +00:00
0s
查看工作流文件
release: v3.4.1 — performance & token optimization
release.yml #135
:
提交
98870f9fba
推送者
frostbyte_neo
v3.4.1
2026-08-21 03:56:02 +00:00
0s
查看工作流文件
fix: relax doctor --fix exit code assertion in CI smoke test
release.yml #134
:
提交
fd99898075
推送者
frostbyte_neo
v3.4.0
2026-08-21 03:56:02 +00:00
0s
查看工作流文件
v3.3.9: Security hardening from adversarial review (Issue
#149
)
release.yml #133
:
提交
d36e80c3d8
推送者
frostbyte_neo
v3.3.9
2026-08-21 03:56:02 +00:00
0s
查看工作流文件
首页
上一页
...
5
6
7
8
9
...
下一页
末页