Skip to content

Actions: dslsdzc/core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
326 workflow runs
326 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
fix(批8 D 类): @typeInfo 返回型 TI_INT(placeholder) → TI_STR（声明与产物一致的收口） Core CI #233: Pull request #140 opened by dslsdzc
1m 34s feature/b8-typeinfo-return-type
feature/b8-typeinfo-return-type
1m 34s
feat(批8 (甲) 刀2): S1P 台账扩面——方法/模块限定/枚举构造三形态接线 + 抽可复用助手 Core CI #232: Pull request #139 opened by dslsdzc
1m 24s feature/b8-e1-blade2-wip
feature/b8-e1-blade2-wip
1m 24s
docs(批8): 失效口径扫描报告——基线重定 + 15 条逐条重核（已消解 6 / 在场 10）+ 统计更正 + §5 过判更正 Core CI #231: Pull request #138 opened by dslsdzc
1m 28s feature/b8-stale-criteria-docs
feature/b8-stale-criteria-docs
1m 28s
docs(批8 只读侦察): bi_add 内建表侦察（22 条分类 · 爆炸半径 · 4 处反预期 + fiber_init 潜伏碰撞） Core CI #230: Pull request #137 opened by dslsdzc
1m 27s feature/b8-builtin-table-recon
feature/b8-builtin-table-recon
1m 27s
docs(批8 TODO 登记 3 条): ① &x/&T 语义（定性待裁）· ② D2 *T 形参调用点→TI_UNIT（含仪器限定）· ③ S1P 扫描口径+台账 never 跳过 Core CI #229: Pull request #136 opened by dslsdzc
1m 34s feature/b8-refptr-handle-registrations
feature/b8-refptr-handle-registrations
1m 34s
批8 判据面: canary D1 确定性闸门（两次构建逐字节对拍）+ 重锁前置落纸 Core CI #228: Pull request #135 synchronize by dslsdzc
1m 24s feature/b8-canary-d1-determinism
feature/b8-canary-d1-determinism
1m 24s
批8 判据面: canary D1 确定性闸门（两次构建逐字节对拍）+ 重锁前置落纸 Core CI #227: Pull request #135 opened by dslsdzc
1m 28s feature/b8-canary-d1-determinism
feature/b8-canary-d1-determinism
1m 28s
批8 (i) 小批: @raw_int 放宽接受指针（实测定名 TYP_PTR）+ 两向钉子判据 + diag_gate 夹具换形 Core CI #226: Pull request #134 synchronize by dslsdzc
1m 37s feature/b8-i-raw-int-ptr
feature/b8-i-raw-int-ptr
1m 37s
批8 (i) 小批: @raw_int 放宽接受指针（实测定名 TYP_PTR）+ 两向钉子判据 + diag_gate 夹具换形 Core CI #225: Pull request #134 synchronize by dslsdzc
1m 30s feature/b8-i-raw-int-ptr
feature/b8-i-raw-int-ptr
1m 30s
批8 (i) 小批: @raw_int 放宽接受指针（实测定名 TYP_PTR）+ 两向钉子判据 + diag_gate 夹具换形 Core CI #224: Pull request #134 opened by dslsdzc
1m 9s feature/b8-i-raw-int-ptr
feature/b8-i-raw-int-ptr
1m 9s
fix(批8 (甲) 批1 刀1): unify_types 的 T? 模式规则——修 S1-ARG 恒报 + 同基点上的 TF01 硬错（判据 C1–C7 两向钉子 + 突变自证） Core CI #223: Pull request #133 synchronize by dslsdzc
1m 29s feature/b8-e1-topt
feature/b8-e1-topt
1m 29s
fix(批8 (甲) 批1 刀1): unify_types 的 T? 模式规则——修 S1-ARG 恒报 + 同基点上的 TF01 硬错（判据 C1–C7 两向钉子 + 突变自证） Core CI #222: Pull request #133 opened by dslsdzc
1m 29s feature/b8-e1-topt
feature/b8-e1-topt
1m 29s
批8 2(a): 视图内建 @ptr_of/@str_of（两面实现）+ S2 残桶 68 点收口 + cli.cr 值面 e2e Core CI #221: Pull request #132 synchronize by dslsdzc
1m 22s feature/b8-2a-view-builtins
feature/b8-2a-view-builtins
1m 22s
批8 2(a): 视图内建 @ptr_of/@str_of（两面实现）+ S2 残桶 68 点收口 + cli.cr 值面 e2e Core CI #220: Pull request #132 synchronize by dslsdzc
1m 24s feature/b8-2a-view-builtins
feature/b8-2a-view-builtins
1m 24s
批8 2(a): 视图内建 @ptr_of/@str_of（两面实现）+ S2 残桶 68 点收口 + cli.cr 值面 e2e Core CI #219: Pull request #132 opened by dslsdzc
1m 28s feature/b8-2a-view-builtins
feature/b8-2a-view-builtins
1m 28s
docs(批 8 收口): 活文档改内容（syntax.md apx 示例改为可编过 + errors.md 补 P024/P025/P026）· 记录加注四处（只增不删）——两提交性质分开 Core CI #218: Pull request #131 opened by dslsdzc
1m 31s feature/docs-live-doc-fix
feature/docs-live-doc-fix
1m 31s
docs(批 8 §1-1/§4 核查补): 三处「ELF 142/期望 7」过期口径加注（只增不删）+ §4 新增「S3 前置」块（引支 2 本体 / fail-closed 变成 fail-wrong） Core CI #217: Pull request #130 synchronize by dslsdzc
3m 50s feature/b8-s11-errata
feature/b8-s11-errata
3m 50s
docs(批 8 §1-1/§4 核查补): 三处「ELF 142/期望 7」过期口径加注（只增不删）+ §4 新增「S3 前置」块（引支 2 本体 / fail-closed 变成 fail-wrong） Core CI #216: Pull request #130 synchronize by dslsdzc
1m 30s feature/b8-s11-errata
feature/b8-s11-errata
1m 30s
docs(批 8 §1-1/§4 核查补): 三处「ELF 142/期望 7」过期口径加注（只增不删）+ §4 新增「S3 前置」块（引支 2 本体 / fail-closed 变成 fail-wrong） Core CI #215: Pull request #130 opened by dslsdzc
1m 1s feature/b8-s11-errata
feature/b8-s11-errata
1m 1s
docs(批8 条目1): dex? 泛型实例化 T0 重测 + §1-1 回填——(乙) 已消解 · 剩余 =(甲) · ELF 腿降级（doc-only，解锁 S3 前置件） Core CI #214: Pull request #129 opened by dslsdzc
1m 27s feature/b8-e1-t0
feature/b8-e1-t0
1m 27s
批8: bool←int 静默面收口——自测计数惯用式 171 处改签名 helper + 「台账 bool 桶归零」入 CI Core CI #213: Pull request #128 synchronize by dslsdzc
1m 30s feature/b8-bool-sig
feature/b8-bool-sig
1m 30s
批8: bool←int 静默面收口——自测计数惯用式 171 处改签名 helper + 「台账 bool 桶归零」入 CI Core CI #212: Pull request #128 opened by dslsdzc
1m 6s feature/b8-bool-sig
feature/b8-bool-sig
1m 6s
批8: S1P 打点定位通道（源行片段）+ S2 侦察结论与两条登记（代码净额为零） Core CI #211: Pull request #127 synchronize by dslsdzc
1m 10s feature/b8-s2-recon
feature/b8-s2-recon
1m 10s
批8: S1P 打点定位通道（源行片段）+ S2 侦察结论与两条登记（代码净额为零） Core CI #210: Pull request #127 opened by dslsdzc
1m 34s feature/b8-s2-recon
feature/b8-s2-recon
1m 34s
feat(interp): 字符串插值 ${...} 展开（lexer part-token + parser 链 + checker 就地改写；含对抗复核五条） Core CI #209: Pull request #126 synchronize by dslsdzc
1m 17s feature/interp-expand
feature/interp-expand
1m 17s