.github/workflows/hypatia-scan.yml

Workflow runs for .github/workflows/hypatia-scan.yml

• ci: add ABI↔FFI conformance gate (#35)

  failed:
  .github/workflows/hypatia-scan.yml#114:Commit6532bc9pushedbyhyperpolymath
  main

  Jun 26, 202647s
  More actions for workflow run 114

• ci: add ABI↔FFI conformance gate

  failed:
  .github/workflows/hypatia-scan.yml#113:Pull request#35openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202632s
  More actions for workflow run 113

• Auto-install pinned Zig toolchain in setup + devcontainer (#34)

  failed:
  .github/workflows/hypatia-scan.yml#112:Commit703fd16pushedbyhyperpolymath
  main

  Jun 26, 202649s
  More actions for workflow run 112

• Auto-install pinned Zig toolchain in setup + devcontainer

  failed:
  .github/workflows/hypatia-scan.yml#111:Pull request#34openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202630s
  More actions for workflow run 111

• ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

  failed:
  .github/workflows/hypatia-scan.yml#110:Commit412ae57pushedbyhyperpolymath
  main

  Jun 26, 20261m 58s
  More actions for workflow run 110

• ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

  failed:
  .github/workflows/hypatia-scan.yml#109:Pull request#33synchronizebyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202645s
  More actions for workflow run 109

• ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

  failed:
  .github/workflows/hypatia-scan.yml#108:Pull request#33openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202652s
  More actions for workflow run 108

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32)

  failed:
  .github/workflows/hypatia-scan.yml#107:Commit2a34624pushedbyhyperpolymath
  main

  Jun 26, 20263m 44s
  More actions for workflow run 107

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)

  failed:
  .github/workflows/hypatia-scan.yml#106:Pull request#32openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 20262m 6s
  More actions for workflow run 106

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…

  failed:
  .github/workflows/hypatia-scan.yml#105:Commitd2d08eapushedbyhyperpolymath
  main

  Jun 25, 202622m 57s
  More actions for workflow run 105

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health)

  failed:
  .github/workflows/hypatia-scan.yml#104:Pull request#31openedbyhyperpolymath
  fix/readme-adoc-to-markdown

  Jun 25, 202623m 1s
  More actions for workflow run 104

• chore(clade): backfill [status] lifecycle block (#29)

  failed:
  .github/workflows/hypatia-scan.yml#103:Commita6ffd68pushedbyhyperpolymath
  main

  Jun 24, 202617h 2m 26s
  More actions for workflow run 103

• chore(clade): backfill [status] lifecycle block

  failed:
  .github/workflows/hypatia-scan.yml#102:Pull request#29synchronizebyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202616h 58m 44s
  More actions for workflow run 102

• chore(ci): add dormant push-email notification workflow (#30)

  failed:
  .github/workflows/hypatia-scan.yml#101:Commita714845pushedbyhyperpolymath
  main

  Jun 24, 202616h 4m 22s
  More actions for workflow run 101

• chore(ci): add dormant push-email notification workflow

  failed:
  .github/workflows/hypatia-scan.yml#100:Pull request#30openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 202615h 42m 10s
  More actions for workflow run 100

• chore(clade): backfill [status] lifecycle block

  failed:
  .github/workflows/hypatia-scan.yml#99:Pull request#29openedbyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202614h 38m 16s
  More actions for workflow run 99

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  failed:
  .github/workflows/hypatia-scan.yml#98:Commit24600a6pushedbyhyperpolymath
  main

  Jun 24, 20268h 17m 35s
  More actions for workflow run 98

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  failed:
  .github/workflows/hypatia-scan.yml#97:Pull request#28openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 20268h 18m 11s
  More actions for workflow run 97

• chore(ci): bump standards reusable workflow pins (#27)

  failed:
  .github/workflows/hypatia-scan.yml#96:Commitfdb01c1pushedbyhyperpolymath
  main

  Jun 24, 202614m 1s
  More actions for workflow run 96

• chore(ci): bump standards reusable workflow pins

  failed:
  .github/workflows/hypatia-scan.yml#95:Pull request#27openedbyhyperpolymath
  chore/bump-standards-pins-2026-06-24

  Jun 24, 20269m 44s
  More actions for workflow run 95

• chore(nix->guix): remove flake.nix (Guix-only) (#26)

  failed:
  .github/workflows/hypatia-scan.yml#94:Commitd12af52pushedbyhyperpolymath
  main

  Jun 24, 202658m 54s
  More actions for workflow run 94

• chore(nix->guix): remove flake.nix (Guix-only)

  failed:
  .github/workflows/hypatia-scan.yml#93:Pull request#26openedbyhyperpolymath
  chore/nix-to-guix-2026-06-24

  Jun 24, 202658m 55s
  More actions for workflow run 93

• chore: retire local issue/discussion templates -> inherit org .github…

  failed:
  .github/workflows/hypatia-scan.yml#92:Commit6b0b2abpushedbyhyperpolymath
  main

  Jun 22, 202644m 59s
  More actions for workflow run 92

• .github/workflows/hypatia-scan.yml

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

  Jun 21, 20265s
  More actions for workflow run 91

• ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go…

  failed:
  .github/workflows/hypatia-scan.yml#90:Commit65a859bpushedbyhyperpolymath
  main

  Jun 21, 202616m 15s
  More actions for workflow run 90