All workflows

Workflow runs

• Sync HOL Guard Runtime Version

  failed:
  Sync HOL Guard Runtime Version#536:Scheduled
  main

  Oct 27, 202632s
  More actions for workflow run 536

• Sync HOL Guard Runtime Version

  failed:
  Sync HOL Guard Runtime Version#535:Scheduled
  main

  Oct 27, 202632s
  More actions for workflow run 535

• Sync HOL Guard Runtime Version

  failed:
  Sync HOL Guard Runtime Version#534:Scheduled
  main

  Oct 27, 202630s
  More actions for workflow run 534

• Sync HOL Guard Runtime Version

  failed:
  Sync HOL Guard Runtime Version#533:Scheduled
  main

  Oct 26, 20261m 57s
  More actions for workflow run 533

• Sync HOL Guard Runtime Version

  failed:
  Sync HOL Guard Runtime Version#532:Scheduled
  main

  Oct 26, 202640s
  More actions for workflow run 532

• Validate Spec Kit Real Project

  failed:
  Validate Spec Kit Real Project#77:completedbykantorcodes
  Oct 26, 202623s
  More actions for workflow run 77

• Verify Spec Kit Release

  completed successfully:
  Verify Spec Kit Release#275:completedbykantorcodes
  Oct 26, 202625s
  More actions for workflow run 275

• ci: run plugin releases with Guard 3.58.0a5 (#92)

  completed successfully:
  Guarded Repository#90:Commit261b430pushedbykantorcodes
  main

  Oct 26, 202655s
  More actions for workflow run 90

• ci: run plugin releases with Guard 3.58.0a5 (#92)

  completed successfully:
  Publish Agent Skills#335:Commit261b430pushedbykantorcodes
  main

  Oct 26, 202626s
  More actions for workflow run 335

• Push on main

  completed successfully:
  CodeQL#423:bykantorcodes
  main

  Oct 26, 20261m 20s

• ci: run plugin releases with Guard 3.58.0a5 (#92)

  completed successfully:
  Tessl Distribution#329:Commit261b430pushedbykantorcodes
  main

  Oct 26, 202613s
  More actions for workflow run 329

• ci: run plugin releases with Guard 3.58.0a5 (#92)

  completed successfully:
  CI#393:Commit261b430pushedbykantorcodes
  main

  Oct 26, 20263m 59s
  More actions for workflow run 393

• Verify Spec Kit Release

  skipped:
  Verify Spec Kit Release#274:completedbykantorcodes
  Oct 26, 20268s
  More actions for workflow run 274

• ci: run plugin releases with Guard 3.58.0a5

  completed successfully:
  Publish Agent Skills#334:Pull request#92openedbykantorcodes
  ci/plugin-release-3.58.0a5

  Oct 26, 202615s
  More actions for workflow run 334

• ci: run plugin releases with Guard 3.58.0a5

  completed successfully:
  CI#392:Pull request#92openedbykantorcodes
  ci/plugin-release-3.58.0a5

  Oct 26, 20264m 29s
  More actions for workflow run 392

• ci: run plugin releases with Guard 3.58.0a5

  completed successfully:
  Tessl Distribution#328:Pull request#92openedbykantorcodes
  ci/plugin-release-3.58.0a5

  Oct 26, 202614s
  More actions for workflow run 328

• PR #92

  completed successfully:
  CodeQL#422:bykantorcodes
  refs/pull/92/head

  Oct 26, 20261m 3s

• HOL Plugin Release

  completed successfully:
  HOL Plugin Release#4:Manually runbykantorcodes
  main

  Oct 26, 202648s
  More actions for workflow run 4

• Verify Spec Kit Release

  completed successfully:
  Verify Spec Kit Release#273:completedbykantorcodes
  Oct 26, 202622s
  More actions for workflow run 273

• Validate Spec Kit Real Project

  failed:
  Validate Spec Kit Real Project#76:completedbykantorcodes
  Oct 26, 202620s
  More actions for workflow run 76

• ci: pin plugin release workflow to the SBOM and permission diff relea…

  completed successfully:
  Guarded Repository#89:Commit5e503e1pushedbykantorcodes
  main

  Oct 26, 202658s
  More actions for workflow run 89

• ci: pin plugin release workflow to the SBOM and permission diff relea…

  completed successfully:
  Publish Agent Skills#333:Commit5e503e1pushedbykantorcodes
  main

  Oct 26, 202624s
  More actions for workflow run 333

• ci: pin plugin release workflow to the SBOM and permission diff relea…

  completed successfully:
  CI#391:Commit5e503e1pushedbykantorcodes
  main

  Oct 26, 20264m 24s
  More actions for workflow run 391

• Push on main

  completed successfully:
  CodeQL#421:bykantorcodes
  main

  Oct 26, 20261m 26s

• ci: pin plugin release workflow to the SBOM and permission diff relea…

  completed successfully:
  Tessl Distribution#327:Commit5e503e1pushedbykantorcodes
  main

  Oct 26, 202616s
  More actions for workflow run 327