Skip to content

Actions: YKDZ/enoki

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
312 workflow runs
312 workflow runs

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
test: capture bounded runtime repair failure evidence CI #312: Commit 67cba41 pushed by YKDZ
6m 18s main
main
6m 18s
Fix DynamicUser uninstall cleanup and add temporary runtime evidence CI #311: Pull request #95 opened by YKDZ
7m 18s afk/formal321-uninstall-dynamic-owner
afk/formal321-uninstall-dynamic-owner
7m 18s
Stabilize repair validation timing diagnostic test CI #310: Commit a4f2b86 pushed by YKDZ
6m 11s main
main
6m 11s
Fix Formal308 release contract key-order mismatch CI #309: Pull request #94 synchronize by YKDZ
6m 10s afk/issue15-contract-structural-equality
afk/issue15-contract-structural-equality
6m 10s
Fix Formal308 release contract key-order mismatch CI #308: Pull request #94 opened by YKDZ
4m 26s afk/issue15-contract-structural-equality
afk/issue15-contract-structural-equality
4m 26s
Allow manual standard CI recovery evidence (#93) CI #307: Commit 7db9d09 pushed by YKDZ
5m 53s main
main
5m 53s
Allow manual standard CI recovery evidence CI #306: Pull request #93 opened by YKDZ
6m 4s afk/standard-ci-manual-recovery
afk/standard-ci-manual-recovery
6m 4s
chore(deps): bump the rust-dependencies group across 1 directory with 10 updates CI #305: Pull request #86 synchronize by dependabot Bot
4m 40s dependabot/cargo/rust-dependencies-77304940e4
dependabot/cargo/rust-dependencies-77304940e4
4m 40s
chore(deps): bump the github-actions group across 1 directory with 2 updates CI #304: Pull request #28 synchronize by dependabot Bot
5m 16s dependabot/github_actions/github-actions-6c0da8db21
dependabot/github_actions/github-actions-6c0da8db21
5m 16s
chore(deps): bump node from 24-alpine to 26-alpine in /apps/hub in the hub-image-dependencies group across 1 directory CI #303: Pull request #1 synchronize by dependabot Bot
6m 35s dependabot/docker/apps/hub/hub-image-dependencies-4faa477378
dependabot/docker/apps/hub/hub-image-dependencies-4faa477378
6m 35s
交付 Issue15 Slice1 失败取证候选 (#92) CI #302: Commit 069a6fc pushed by YKDZ
Queued main
main
Queued
交付 Issue15 Slice1 失败取证候选 CI #301: Pull request #92 opened by YKDZ
6m 24s afk/formal300-slice1-delivery
afk/formal300-slice1-delivery
6m 24s
修复：整合 Runtime 恢复、repair 诊断与卸载输出 (#91) CI #300: Commit 8b28601 pushed by YKDZ
5m 56s main
main
5m 56s
修复：整合 Runtime 恢复、repair 诊断与卸载输出 CI #299: Pull request #91 synchronize by YKDZ
6m 40s afk/formal253-repair-integration
afk/formal253-repair-integration
6m 40s
修复：整合 Runtime 恢复、repair 诊断与卸载输出 CI #298: Pull request #91 opened by YKDZ
4m 33s afk/formal253-repair-integration
afk/formal253-repair-integration
4m 33s
修复 Repair 成功输出合同 (#90) CI #297: Commit 2521db5 pushed by YKDZ
6m 43s main
main
6m 43s
修复 Repair 成功输出合同 CI #296: Pull request #90 synchronize by YKDZ
5m 54s afk/formal224-repair-output-contract
afk/formal224-repair-output-contract
5m 54s
修复 Repair 成功输出合同 CI #295: Pull request #90 opened by YKDZ
5m 38s afk/formal224-repair-output-contract
afk/formal224-repair-output-contract
5m 38s
chore(deps): bump the rust-dependencies group across 1 directory with 10 updates CI #294: Pull request #86 synchronize by dependabot Bot
4m 47s dependabot/cargo/rust-dependencies-77304940e4
dependabot/cargo/rust-dependencies-77304940e4
4m 47s
交付 Issue14 最终整合候选至受保护 main (#89) CI #293: Commit 0f25340 pushed by YKDZ
46s main
main
46s
交付 Issue14 最终整合候选至受保护 main CI #292: Pull request #89 opened by YKDZ
6m 36s afk/formal213-issue14-integration
afk/formal213-issue14-integration
6m 36s
收敛 Probe 前向生命周期转换与发布验收边界 (#88) CI #291: Commit 219abef pushed by YKDZ
6m 0s main
main
6m 0s
收敛 Probe 生命周期前向转换与发布验收边界 CI #290: Pull request #88 opened by YKDZ
6m 33s afk/formal147-final-integration
afk/formal147-final-integration
6m 33s
chore(deps): bump the node-dependencies group across 1 directory with 28 updates CI #289: Pull request #64 synchronize by dependabot Bot
7m 20s dependabot/npm_and_yarn/node-dependencies-e2e132f6e8
dependabot/npm_and_yarn/node-dependencies-e2e132f6e8
7m 20s
chore(deps): bump rust-toolchain from 1.97.1 to 1.98.1 CI #288: Pull request #87 opened by dependabot Bot
5m 12s dependabot/rust_toolchain/rust-toolchain-1.98.1
dependabot/rust_toolchain/rust-toolchain-1.98.1
5m 12s