All workflows

Workflow runs

• fix(ci): repin standards to a SHA that exists (5b1d0022 is nonexistent)

  failed at startup:
  Hypatia Security Scan#35:Pull request#3openedbyhyperpolymath
  fix/phantom-standards-pin

  Aug 25, 2026Startup failure
  More actions for workflow run 35

• fix(ci): repin standards to a SHA that exists (5b1d0022 is nonexistent)

  failed:
  Workflow Security Linter#7:Pull request#3openedbyhyperpolymath
  fix/phantom-standards-pin

  Aug 25, 20261m 50s
  More actions for workflow run 7

• fix(ci): repin standards to a SHA that exists (5b1d0022 is nonexistent)

  failed:
  Dogfood Gate#33:Pull request#3openedbyhyperpolymath
  fix/phantom-standards-pin

  Aug 25, 20266m 40s
  More actions for workflow run 33

• fix(ci): repin standards to a SHA that exists (5b1d0022 is nonexistent)

  failed:
  OpenSSF Compliance#33:Pull request#3openedbyhyperpolymath
  fix/phantom-standards-pin

  Aug 25, 202644s
  More actions for workflow run 33

• fix(ci): repin standards to a SHA that exists (5b1d0022 is nonexistent)

  completed successfully:
  Static Analysis Gate#33:Pull request#3openedbyhyperpolymath
  fix/phantom-standards-pin

  Aug 25, 20267m 26s
  More actions for workflow run 33

• fix(ci): repin standards to a SHA that exists

  failed:
  Workflow Security Linter#6:Commitdfcc340pushedbyhyperpolymath
  fix/phantom-standards-pin

  Aug 25, 202610s
  More actions for workflow run 6

• refactor: migrate Markdown to AsciiDoc (#2)

  failed:
  Hypatia Security Scan#34:Commit11b8b69pushedbyhyperpolymath
  main

  Aug 24, 2026Failure
  More actions for workflow run 34

• refactor: migrate Markdown to AsciiDoc (#2)

  failed:
  Dogfood Gate#32:Commit11b8b69pushedbyhyperpolymath
  main

  Aug 24, 20261h 19m 26s
  More actions for workflow run 32

• refactor: migrate Markdown to AsciiDoc (#2)

  completed successfully:
  Static Analysis Gate#32:Commit11b8b69pushedbyhyperpolymath
  main

  Aug 24, 20261h 19m 14s
  More actions for workflow run 32

• refactor: migrate Markdown to AsciiDoc (#2)

  failed:
  OpenSSF Compliance#32:Commit11b8b69pushedbyhyperpolymath
  main

  Aug 24, 202658m 38s
  More actions for workflow run 32

• refactor: migrate Markdown to AsciiDoc

  failed:
  Hypatia Security Scan#33:Pull request#2byhyperpolymath
  refactor/md-to-adoc

  Aug 24, 2026Failure
  More actions for workflow run 33

• refactor: migrate Markdown to AsciiDoc

  failed:
  OpenSSF Compliance#31:Pull request#2openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 202657m 35s
  More actions for workflow run 31

• refactor: migrate Markdown to AsciiDoc

  failed:
  Dogfood Gate#31:Pull request#2openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 20261h 18m 49s
  More actions for workflow run 31

• refactor: migrate Markdown to AsciiDoc

  completed successfully:
  Static Analysis Gate#31:Pull request#2openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 20261h 19m 26s
  More actions for workflow run 31

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#10:Scheduled
  main

  Aug 23, 202624s
  More actions for workflow run 10

• Hypatia Security Scan

  failed:
  Hypatia Security Scan#32:Scheduled
  main

  Aug 23, 2026Failure
  More actions for workflow run 32

• Merge branch 'chore/bump-standards-pins'

  failed:
  Hypatia Security Scan#31:Commit3380547pushedbyhyperpolymath
  main

  Aug 17, 2026Failure
  More actions for workflow run 31

• Merge branch 'chore/bump-standards-pins'

  failed:
  Workflow Security Linter#5:Commit3380547pushedbyhyperpolymath
  main

  Aug 17, 202616s
  More actions for workflow run 5

• Merge branch 'chore/bump-standards-pins'

  completed successfully:
  Static Analysis Gate#30:Commit3380547pushedbyhyperpolymath
  main

  Aug 17, 20261m 8s
  More actions for workflow run 30

• Merge branch 'chore/bump-standards-pins'

  failed:
  Dogfood Gate#30:Commit3380547pushedbyhyperpolymath
  main

  Aug 17, 20261m 4s
  More actions for workflow run 30

• Merge branch 'chore/bump-standards-pins'

  failed:
  OpenSSF Compliance#30:Commit3380547pushedbyhyperpolymath
  main

  Aug 17, 202632s
  More actions for workflow run 30

• Ada/SPARK CI

  failed:
  Ada/SPARK CI#9:Scheduled
  main

  Aug 16, 202627s
  More actions for workflow run 9

• Hypatia Security Scan

  failed at startup:
  Hypatia Security Scan#30:Scheduled
  main

  Aug 16, 2026Startup failure
  More actions for workflow run 30

• feat: Level 4 Idris2/Agda MTProto authorization equivalence

  failed at startup:
  Hypatia Security Scan#29:Commitd52727bpushedbyhyperpolymath
  main

  Aug 13, 20261s
  More actions for workflow run 29

• feat: Level 4 Idris2/Agda MTProto authorization equivalence

  failed:
  Dogfood Gate#29:Commitd52727bpushedbyhyperpolymath
  main

  Aug 13, 202621s
  More actions for workflow run 29