Skip to content

Actions: dslsdzc/core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 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
feature/graph anchored regions (#38) .github/workflows/core-ci.yml #38: Commit bef92b5 pushed by dslsdzc
Failure develop
develop
Failure
PR #39 CodeQL #15: by dslsdzc
58s refs/pull/39/head
refs/pull/39/head
58s
docs: 图锚定区域设计落地——memory-model.md 重写（区域=子图字节域/图活性生命周期/split-merge-shar… .github/workflows/core-ci.yml #37: Commit 22b8c35 pushed by dslsdzc
Failure feature/graph-anchored-regions
feature/graph-anchored-regions
Failure
Scheduled CodeQL #14: by github-advanced-security AI
1m 7s main
main
1m 7s
release: 规约系统设计 v2 + 指针安全定论 + crasm 硬件表 + 治理修复 (#35) .github/workflows/core-ci.yml #36: Commit f945c03 pushed by dslsdzc
Failure main
main
Failure
release: 规约系统设计 v2 + 指针安全定论 + crasm 硬件表 + 治理修复 (#35) .github/workflows/core-ci.yml #35: Commit f945c03 pushed by dslsdzc
Failure main
main
Failure
Push on main CodeQL #13: by dslsdzc
1m 8s main
main
1m 8s
PR #35 CodeQL #12: by dslsdzc
52s refs/pull/35/head
refs/pull/35/head
52s
Merge branch 'main' into develop .github/workflows/core-ci.yml #34: Commit 522c323 pushed by dslsdzc
Failure develop
develop
Failure
PR #35 CodeQL #11: by dslsdzc
1m 1s refs/pull/35/head
refs/pull/35/head
1m 1s
fix: CI workflow checkout 改回 @v5（SHA pin 导致 workflow 解析失败） .github/workflows/core-ci.yml #33: Commit b13c853 pushed by dslsdzc
Failure release-float
release-float
Failure
feat: float 完整支持（IEEE 754/SysV）+ 对照 CompCert 审查修复 16 bug (#37) .github/workflows/core-ci.yml #32: Commit 878ab29 pushed by dslsdzc
Failure main
main
Failure
Push on main CodeQL #10: by dslsdzc
1m 14s main
main
1m 14s
PR #37 CodeQL #9: by dslsdzc
53s refs/pull/37/head
refs/pull/37/head
53s
fix: CI workflow checkout 改回 @v5（SHA pin 导致 workflow 解析失败） .github/workflows/core-ci.yml #31: Commit b13c853 pushed by dslsdzc
Failure release-float
release-float
Failure
PR #36 CodeQL #8: by dslsdzc
58s refs/pull/36/head
refs/pull/36/head
58s
PR #36 CodeQL #7: by dslsdzc
57s refs/pull/36/head
refs/pull/36/head
57s
merge: 合入 main 发布线（README/治理）+ develop 线 float/审查修复 .github/workflows/core-ci.yml #30: Commit 217086a pushed by dslsdzc
Failure release-float
release-float
Failure
PR #35 CodeQL #6: by dslsdzc
1m 4s refs/pull/35/head
refs/pull/35/head
1m 4s
docs: 规约系统设计 v2——CIC 内核 + SMT 证书架构 + 验证内核选型 (#34) .github/workflows/core-ci.yml #29: Commit 4cfee8c pushed by dslsdzc
Failure develop
develop
Failure
docs: 规约系统设计 v2——CIC 内核 + SMT 证书架构 + 验证内核选型 .github/workflows/core-ci.yml #28: Commit c412e62 pushed by dslsdzc
Failure feature/spec-design-v2
feature/spec-design-v2
Failure
docs: 规约系统设计 v2——CIC 内核 + SMT 证书架构 .github/workflows/core-ci.yml #27: Commit bc91a51 pushed by dslsdzc
Failure feature/spec-design-v2
feature/spec-design-v2
Failure
docs: 指针安全设计定论——类型双关自动验证 + crasm 硬件描述表 + TODO bug 7 (#33) .github/workflows/core-ci.yml #26: Commit b2f67f6 pushed by dslsdzc
Failure develop
develop
Failure
docs: 指针安全设计定论——类型双关自动验证 + crasm 硬件描述表 + TODO bug 7 .github/workflows/core-ci.yml #25: Commit 1aadf62 pushed by dslsdzc
Failure feature/pointer-model-typepunning
feature/pointer-model-typepunning
Failure
sync: main 合入 develop（README 首页 + PR #23 修复，选择性） (#32) .github/workflows/core-ci.yml #24: Commit e61e580 pushed by dslsdzc
Failure develop
develop
Failure