All workflows

Workflow runs

• Formal Verification

  currently running:
  Formal Verification#362:Manually runbyfrankiehot-tech
  main

  Oct 26, 2026In progress
  More actions for workflow run 362

• Meta-Audit Gate

  completed successfully:
  Meta-Audit Gate#1076:Manually runbyfrankiehot-tech
  main

  Oct 26, 202633s
  More actions for workflow run 1076

• 声称完整性门禁

  completed successfully:
  声称完整性门禁#49:Scheduled
  main

  Oct 26, 202614s
  More actions for workflow run 49

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  Docker CI#781:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 202615m 29s
  More actions for workflow run 781

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  MAREF CI#991:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 202621m 35s
  More actions for workflow run 991

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  CodeQL Analysis#704:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 20262m 36s
  More actions for workflow run 704

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  Security Scan#928:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 20262m 6s
  More actions for workflow run 928

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  Leak Detection#527:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 202611s
  More actions for workflow run 527

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  Dependency Audit#13:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 202633s
  More actions for workflow run 13

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  SonarCloud Scan#781:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 202628m 35s
  More actions for workflow run 781

• Merge pull request #460 from maref-org/chore/state-post-457

  completed successfully:
  声称完整性门禁#48:Commit84a1201pushedbyfrankiehot-tech
  main

  Oct 26, 202617s
  More actions for workflow run 48

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  CodeQL Analysis#703:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 20262m 35s
  More actions for workflow run 703

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  Release Gate#560:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202618m 38s
  More actions for workflow run 560

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  Dependency Audit#12:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202630s
  More actions for workflow run 12

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  SonarCloud Scan#780:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202626m 56s
  More actions for workflow run 780

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  skipped:
  Auto-Merge Improvement PR#142:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 20261s
  More actions for workflow run 142

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  Security Scan#927:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202640s
  More actions for workflow run 927

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  Leak Detection#526:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202611s
  More actions for workflow run 526

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  MAREF CI#990:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202622m 5s
  More actions for workflow run 990

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  MAREF CI Governance (example)#500:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202612s
  More actions for workflow run 500

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  Docker CI#780:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202619m 17s
  More actions for workflow run 780

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  声称完整性门禁#47:Pull request#460synchronizebyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202613s
  More actions for workflow run 47

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  skipped:
  Dependabot Auto-Merge#575:Pull request#460synchronizebyfrankiehot-tech
  Oct 26, 20261s
  More actions for workflow run 575

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  skipped:
  Dependabot Auto-Merge#574:Pull request#460openedbyfrankiehot-tech
  Oct 26, 20261s
  More actions for workflow run 574

• chore(state): 合并后更新 D1 闸门、CI 与覆盖率指针

  completed successfully:
  Dependency Audit#11:Pull request#460openedbyfrankiehot-tech
  chore/state-post-457

  Oct 26, 202641s
  More actions for workflow run 11