All workflows

Workflow runs

• Sync HOL Guard Runtime Version

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

  Oct 19, 202632s
  More actions for workflow run 505

• Sync HOL Guard Runtime Version

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

  Oct 19, 202632s
  More actions for workflow run 504

• Sync HOL Guard Runtime Version

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

  Oct 18, 202627s
  More actions for workflow run 503

• Sync HOL Guard Runtime Version

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

  Oct 18, 202632s
  More actions for workflow run 502

• Sync HOL Guard Runtime Version

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

  Oct 18, 202631s
  More actions for workflow run 501

• Sync HOL Guard Runtime Version

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

  Oct 18, 202622s
  More actions for workflow run 500

• Sync HOL Guard Runtime Version

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

  Oct 17, 202635s
  More actions for workflow run 499

• Sync HOL Guard Runtime Version

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

  Oct 17, 202632s
  More actions for workflow run 498

• Sync HOL Guard Runtime Version

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

  Oct 17, 202628s
  More actions for workflow run 497

• Sync HOL Guard Runtime Version

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

  Oct 17, 202632s
  More actions for workflow run 496

• Sync HOL Guard Runtime Version

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

  Oct 16, 202634s
  More actions for workflow run 495

• Sync HOL Guard Runtime Version

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

  Oct 16, 202636s
  More actions for workflow run 494

• Verify Spec Kit Release

  completed successfully:
  Verify Spec Kit Release#256:completedbykantorcodes
  Oct 16, 202619s
  More actions for workflow run 256

• Validate Spec Kit Real Project

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

• Fix unescaped ampersand in HOL Guard PAD XML (#84)

  completed successfully:
  Guarded Repository#82:Commit4625758pushedbykantorcodes
  main

  Oct 16, 202659s
  More actions for workflow run 82

• Push on main

  completed successfully:
  CodeQL#403:bykantorcodes
  main

  Oct 16, 20261m 0s

• Fix unescaped ampersand in HOL Guard PAD XML (#84)

  completed successfully:
  Tessl Distribution#310:Commit4625758pushedbykantorcodes
  main

  Oct 16, 202619s
  More actions for workflow run 310

• Fix unescaped ampersand in HOL Guard PAD XML (#84)

  completed successfully:
  Publish Agent Skills#316:Commit4625758pushedbykantorcodes
  main

  Oct 16, 202620s
  More actions for workflow run 316

• Fix unescaped ampersand in HOL Guard PAD XML (#84)

  completed successfully:
  CI#374:Commit4625758pushedbykantorcodes
  main

  Oct 16, 20264m 12s
  More actions for workflow run 374

• Verify Spec Kit Release

  skipped:
  Verify Spec Kit Release#255:completedbykantorcodes
  Oct 16, 20262s
  More actions for workflow run 255

• Fix unescaped ampersand in HOL Guard PAD XML

  completed successfully:
  Tessl Distribution#309:Pull request#84openedbykantorcodes
  fix/pad-xml-ampersand

  Oct 16, 202624s
  More actions for workflow run 309

• Fix unescaped ampersand in HOL Guard PAD XML

  completed successfully:
  Publish Agent Skills#315:Pull request#84openedbykantorcodes
  fix/pad-xml-ampersand

  Oct 16, 202615s
  More actions for workflow run 315

• Fix unescaped ampersand in HOL Guard PAD XML

  completed successfully:
  CI#373:Pull request#84openedbykantorcodes
  fix/pad-xml-ampersand

  Oct 16, 20263m 2s
  More actions for workflow run 373

• PR #84

  completed successfully:
  CodeQL#402:bykantorcodes
  refs/pull/84/head

  Oct 16, 20261m 5s

• Sync HOL Guard Runtime Version

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

  Oct 16, 202638s
  More actions for workflow run 493