All workflows

Workflow runs

• OSSF Scorecard

  completed successfully:
  OSSF Scorecard#605:Scheduled
  main

  Oct 15, 20261m 8s
  More actions for workflow run 605

• OSSF Scorecard

  completed successfully:
  OSSF Scorecard#604:Scheduled
  main

  Oct 14, 202654s
  More actions for workflow run 604

• OSSF Scorecard

  completed successfully:
  OSSF Scorecard#603:Scheduled
  main

  Oct 13, 20261m 4s
  More actions for workflow run 603

• Add a "family theorem" column to the registry

  completed successfully:
  Label Triage#2:Issue#169openedbyhyperpolymath
  Oct 12, 202626s
  More actions for workflow run 2

• OSSF Scorecard

  completed successfully:
  OSSF Scorecard#602:Scheduled
  main

  Oct 12, 20261m 8s
  More actions for workflow run 602

• OSSF Scorecard

  completed successfully:
  OSSF Scorecard#601:Scheduled
  main

  Oct 11, 20261m 7s
  More actions for workflow run 601

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#601:Scheduled
  main

  Oct 11, 2026Failure
  More actions for workflow run 601

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  failed at startup:
  CodeQL Security Analysis#631:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 2026Startup failure
  More actions for workflow run 631

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  failed:
  Mirror to Git Forges#486:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 20262m 31s
  More actions for workflow run 486

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  completed successfully:
  Secret Scanner#613:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 202611s
  More actions for workflow run 613

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  failed:
  .github/workflows/hypatia-scan.yml#600:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 2026Failure
  More actions for workflow run 600

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  failed:
  .github/workflows/governance.yml#303:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 2026Failure
  More actions for workflow run 303

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  completed successfully:
  GitHub Pages#201:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 20262m 42s
  More actions for workflow run 201

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  failed:
  Workflow Security Linter#627:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 20269s
  More actions for workflow run 627

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  skipped:
  BoJ Server Build Trigger#246:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 202611s
  More actions for workflow run 246

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  completed successfully:
  Dogfood Gate#377:Commitb7ec464pushedbyhyperpolymath
  main

  Oct 10, 202621s
  More actions for workflow run 377

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#630:openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 2026Startup failure
  More actions for workflow run 630

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the github-actions group

  completed successfully:
  Secret Scanner#612:Pull request#168openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 202615s
  More actions for workflow run 612

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the github-actions group

  failed:
  .github/workflows/hypatia-scan.yml#599:Pull request#168bydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 2026Failure
  More actions for workflow run 599

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the github-actions group

  failed:
  .github/workflows/governance.yml#302:Pull request#168bydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 2026Failure
  More actions for workflow run 302

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the github-actions group

  completed successfully:
  Dogfood Gate#376:Pull request#168openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 202621s
  More actions for workflow run 376

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the github-actions group

  failed:
  Workflow Security Linter#626:Pull request#168openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 20268s
  More actions for workflow run 626

• chore(deps): bump hyperpolymath/smtp-notify-action

  failed:
  Workflow Security Linter#625:Commit0b86566pushedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-1afb5b2680

  Oct 10, 20269s
  More actions for workflow run 625

• github_actions in /. - Update #1620592603

  completed successfully:
  Dependabot Updates#252:bydependabot[bot]Bot
  main

  Oct 10, 20263m 36s

• OSSF Scorecard

  completed successfully:
  OSSF Scorecard#600:Scheduled
  main

  Oct 10, 202657s
  More actions for workflow run 600