Skip to content

Actions: dslsdzc/core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
380 workflow runs
380 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Scheduled CodeQL #38: by github-advanced-security AI
1m 16s main
main
1m 16s
docs(TODO): 登记 #2026-09-24-1——前端「有码但不 raise / 接受但不校验」静默面清单（5 处） Core CI #285: Pull request #177 synchronize by dslsdzc
1m 43s feature/todo-silent-faces
feature/todo-silent-faces
1m 43s
docs(TODO): 登记 #2026-09-24-1——前端「有码但不 raise / 接受但不校验」静默面清单（5 处） Core CI #284: Pull request #177 opened by dslsdzc
1m 14s feature/todo-silent-faces
feature/todo-silent-faces
1m 14s
docs(quickstart): 注的措辞改白话（去掉「本表原列」） Core CI #283: Pull request #176 opened by dslsdzc
1m 20s feature/quickstart-note-plain
feature/quickstart-note-plain
1m 20s
docs(developer): 三处与实现对不上——quickstart 去掉已退役的 src/arch/linux/ld/ · faq .ccr 版本 v6→v9 · corec2 条目加修订注 Core CI #282: Pull request #175 opened by dslsdzc
1m 25s feature/devdocs-stale-facts
feature/devdocs-stale-facts
1m 25s
docs(规格): T0 补齐——探针修一处空壳绿（空语料 0==0 PASS）+ tokenize 两口径（9/10 含 LSP 站）+ 字面量花括号拆四格 Core CI #281: Pull request #174 opened by dslsdzc
1m 20s feature/v4-layout-spec-t0-v2
feature/v4-layout-spec-t0-v2
1m 20s
docs(规格): v4 布局规格（T0）——五条判定 + 六条判据（四条零构建）+ tools/v4_layout_probe.py 零构建探针 Core CI #280: Pull request #173 opened by dslsdzc
1m 30s feature/v4-layout-spec-t0
feature/v4-layout-spec-t0
1m 30s
docs(计划): v4 语法迁移——(乙) 大爆炸 + layout 一次做完；T0 布局规格 → T1…T7；判据三代换代表 + 反向规范化对拍 Core CI #279: Pull request #172 opened by dslsdzc
1m 31s feature/v4-syntax-migration-plan
feature/v4-syntax-migration-plan
1m 31s
fix(ci): 补 #170 漏改的第三处——src/ci/run.sh 的「75 档 / CORPUS_TOTAL=75」 Core CI #278: Pull request #171 opened by dslsdzc
1m 13s feature/parity-count-runsh
feature/parity-count-runsh
1m 13s
fix(tools): parity runner 计数失配收口——CORPUS_TOTAL 75→76（第一腿自 2026-09-18 恒红；#132 加语料未同步） Core CI #277: Pull request #170 synchronize by dslsdzc
1m 33s feature/parity-corpus-count
feature/parity-corpus-count
1m 33s
fix(tools): parity runner 计数失配收口——CORPUS_TOTAL 75→76（第一腿自 2026-09-18 恒红；#132 加语料未同步） Core CI #276: Pull request #170 opened by dslsdzc
1m 2s feature/parity-corpus-count
feature/parity-corpus-count
1m 2s
Scheduled CodeQL #37: by github-advanced-security AI
1m 19s main
main
1m 19s
docs(评估): comptime 工程可行性——编译成本基线实测 + 现状逐格核 + 15 方向判定（1043 行） Core CI #275: Pull request #169 opened by dslsdzc
1m 33s feature/comptime-feasibility
feature/comptime-feasibility
1m 33s
docs(规格): 函数值 / Lambda / callable 设计规格（846 行·提案档·零实现） Core CI #274: Pull request #168 opened by dslsdzc
1m 19s feature/fn-value-lambda-spec
feature/fn-value-lambda-spec
1m 19s
docs(批8 (甲) 刀4): 路线图 v10——§8 S1 改判扩到两侧同批 + §7.3 连锁①裁定(b)落纸(规模6→≥60留痕) + §7.1 ABI/合成面注 + 协作面纪律（按 #160 术语重做） Core CI #273: Pull request #154 synchronize by dslsdzc
1m 12s feature/b8-e1-blade4-v10
feature/b8-e1-blade4-v10
1m 12s
docs(计划): 编译成本面收口 + 未核实项复核 + 按新读数重判 Core CI #272: Pull request #167 synchronize by dslsdzc
1m 45s feature/compile-cost-plan
feature/compile-cost-plan
1m 45s
docs(计划): 编译成本面收口 + 未核实项复核 + 按新读数重判 Core CI #271: Pull request #167 opened by dslsdzc
54s feature/compile-cost-plan
feature/compile-cost-plan
54s
docs: .ccr V8 §11.4 对账表 + .coi 的 C-10 引用漂移同步（#165 的续，两笔） Core CI #270: Pull request #166 synchronize by dslsdzc
1m 11s feature/ccr-v8-recon
feature/ccr-v8-recon
1m 11s
docs: .ccr V8 §11.4 对账表 + .coi 的 C-10 引用漂移同步（#165 的续，两笔） Core CI #269: Pull request #166 synchronize by dslsdzc
1m 27s feature/ccr-v8-recon
feature/ccr-v8-recon
1m 27s
docs: .ccr V8 §11.4 对账表 + .coi 的 C-10 引用漂移同步（#165 的续，两笔） Core CI #268: Pull request #166 opened by dslsdzc
1m 32s feature/ccr-v8-recon
feature/ccr-v8-recon
1m 32s
docs(.ccr V8): 2026-09-23 四条裁定 + 一条文字修正落地（§〇.6 为变更源） Core CI #267: Pull request #165 opened by dslsdzc
1m 1s feature/ccr-v8-rulings
feature/ccr-v8-rulings
1m 1s
docs(批8 计划): Mapping 层分离（Graph → Lattice → Mapping → Encoding） Core CI #266: Pull request #164 opened by dslsdzc
1m 34s feature/mapping-layer-plan
feature/mapping-layer-plan
1m 34s
fix(S4): REF 字段访问静默错值——local 半（裁定二新开）+ 形参半（预存缺陷） Core CI #265: Pull request #163 opened by dslsdzc
1m 29s fix/s4-ref-field
fix/s4-ref-field
1m 29s
docs(.ccr V8): 第二版规格——砍成四件事（Entity + Relation + Open Relation Domain + Optional Refinement Algebra） Core CI #264: Pull request #162 opened by dslsdzc
1m 30s feature/ccr-v8-spec
feature/ccr-v8-spec
1m 30s
docs: .coi 优化知识旁挂——格式规格 + 施工计划 Core CI #263: Pull request #161 opened by dslsdzc
1m 34s feature/coi-format
feature/coi-format
1m 34s