All workflows

Workflow runs

• Verify TLA+ specs (verisimdb)

  completed successfully:
  Verify TLA+ specs (verisimdb)#8:Scheduled
  main

  May 25, 202625s
  More actions for workflow run 8

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#298:Scheduled
  main

  May 25, 202633s
  More actions for workflow run 298

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#297:Scheduled
  main

  May 24, 20266m 30s
  More actions for workflow run 297

• .github/workflows/hypatia-scan.yml

  completed successfully:
  .github/workflows/hypatia-scan.yml#236:Scheduled
  main

  May 24, 20261m 0s
  More actions for workflow run 236

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#296:Scheduled
  main

  May 22, 202634s
  More actions for workflow run 296

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#295:Scheduled
  main

  May 21, 202616h 20m 2s
  More actions for workflow run 295

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#294:Scheduled
  main

  May 20, 20261m 27s
  More actions for workflow run 294

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#293:Scheduled
  main

  May 19, 20266h 5m 44s
  More actions for workflow run 293

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  failed:
  .github/workflows/governance.yml#15:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202612h 28m 16s
  More actions for workflow run 15

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  failed:
  GitHub Pages#101:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202615h 7m 43s
  More actions for workflow run 101

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  completed successfully:
  .github/workflows/secret-scanner.yml#243:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202612h 29m 6s
  More actions for workflow run 243

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  failed:
  OpenSSF Scorecard Enforcer#212:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202612h 10m 19s
  More actions for workflow run 212

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  failed:
  Dogfood Gate#111:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202617h 49m 25s
  More actions for workflow run 111

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  completed successfully:
  .github/workflows/mirror.yml#199:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202611h 6m 42s
  More actions for workflow run 199

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  completed successfully:
  .github/workflows/scorecard.yml#292:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202611h 1m 50s
  More actions for workflow run 292

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  completed successfully:
  .github/workflows/hypatia-scan.yml#235:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202611h 8m 12s
  More actions for workflow run 235

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  completed successfully:
  CodeQL Security Analysis#235:Commit457209bpushedbyhyperpolymath
  main

  May 18, 202611h 4m 35s
  More actions for workflow run 235

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  failed:
  BoJ Server Build Trigger#167:Commit457209bpushedbyhyperpolymath
  main

  May 18, 2026Failure
  More actions for workflow run 167

• fix(affine): migrate record literals to #{ } (affinescript#218) (#21)

  failed:
  .github/workflows/instant-sync.yml#220:Commit457209bpushedbyhyperpolymath
  main

  May 18, 2026Failure
  More actions for workflow run 220

• fix(affine): migrate record literals to #{ } (affinescript#218)

  failed:
  Dogfood Gate#110:Pull request#21openedbyhyperpolymath
  fix/rust-record-syntax

  May 18, 202619h 48m 25s
  More actions for workflow run 110

• fix(affine): migrate record literals to #{ } (affinescript#218)

  completed successfully:
  CodeQL Security Analysis#234:Pull request#21openedbyhyperpolymath
  fix/rust-record-syntax

  May 18, 202612h 26m 40s
  More actions for workflow run 234

• fix(affine): migrate record literals to #{ } (affinescript#218)

  completed successfully:
  .github/workflows/hypatia-scan.yml#234:Pull request#21openedbyhyperpolymath
  fix/rust-record-syntax

  May 18, 202612h 32m 14s
  More actions for workflow run 234

• fix(affine): migrate record literals to #{ } (affinescript#218)

  completed successfully:
  .github/workflows/secret-scanner.yml#242:Pull request#21openedbyhyperpolymath
  fix/rust-record-syntax

  May 18, 202612h 26m 33s
  More actions for workflow run 242

• fix(affine): migrate record literals to #{ } (affinescript#218)

  failed:
  .github/workflows/governance.yml#14:Pull request#21openedbyhyperpolymath
  fix/rust-record-syntax

  May 18, 202612h 38m 12s
  More actions for workflow run 14

• fix(affine): migrate record literals to #{ } (affinescript#218)

  failed:
  BoJ Server Build Trigger#166:Commit0de59f6pushedbyhyperpolymath
  fix/rust-record-syntax

  May 18, 2026Failure
  More actions for workflow run 166