All workflows

Workflow runs

• Engine invariants

  completed successfully:
  Engine invariants#60:Scheduled
  main

  Oct 26, 202625m 51s
  More actions for workflow run 60

• pin Prism v1.0.1

  completed successfully:
  Engine invariants#59:Commit8dfe929pushedbytabladrum
  main

  Oct 22, 202618m 23s
  More actions for workflow run 59

• engine invariants: pin prism v1.0.0

  completed successfully:
  Engine invariants#58:Commitae3b302pushedbytabladrum
  main

  Oct 22, 202626m 20s
  More actions for workflow run 58

• engine invariants: pin prism v0.87.39

  completed successfully:
  Engine invariants#57:Commit7ffa807pushedbytabladrum
  main

  Oct 22, 202626m 3s
  More actions for workflow run 57

• engine invariants: pin prism v0.87.37

  completed successfully:
  Engine invariants#56:Commitcbbca1dpushedbytabladrum
  main

  Oct 20, 202621m 24s
  More actions for workflow run 56

• engine invariants: pin prism v0.87.36

  completed successfully:
  Engine invariants#55:Commit395c0f9pushedbytabladrum
  main

  Oct 20, 202622m 6s
  More actions for workflow run 55

• engine invariants: pin prism v0.87.35

  completed successfully:
  Engine invariants#54:Commit54f92f0pushedbytabladrum
  main

  Oct 20, 202622m 14s
  More actions for workflow run 54

• Engine invariants

  completed successfully:
  Engine invariants#53:Scheduled
  main

  Oct 19, 202625m 38s
  More actions for workflow run 53

• ci: pin prism v0.87.30

  completed successfully:
  Engine invariants#52:Commitbfd8c99pushedbytabladrum
  main

  Oct 17, 202625m 16s
  More actions for workflow run 52

• ci: pin prism v0.87.26 / decoy astkit v0.16.9 for the invariant suite

  completed successfully:
  Engine invariants#51:Commit8e00447pushedbytabladrum
  main

  Oct 15, 202625m 13s
  More actions for workflow run 51

• Merge pull request #2 from provasign/ci/django-quotename-alias-sites

  completed successfully:
  Engine invariants#50:Commit9338f06pushedbytabladrum
  main

  Oct 15, 202624m 54s
  More actions for workflow run 50

• ci: correct django-quotename ground truth; pin prism v0.87.25

  completed successfully:
  Engine invariants#49:Pull request#2synchronizebytabladrum
  ci/django-quotename-alias-sites

  Oct 15, 202625m 33s
  More actions for workflow run 49

• ci: pin prism v0.87.21 for the invariant suite

  completed successfully:
  Engine invariants#48:Commit658d5d4pushedbytabladrum
  main

  Oct 13, 202627m 29s
  More actions for workflow run 48

• Engine invariants

  completed successfully:
  Engine invariants#47:Manually runbytabladrum
  main

  Oct 13, 202627m 59s
  More actions for workflow run 47

• decoy invariant: read graph_edges when present (grove >= v0.63.16)

  completed successfully:
  Engine invariants#46:Commit7ccb07apushedbytabladrum
  main

  Oct 13, 202627m 8s
  More actions for workflow run 46

• Engine invariants

  completed successfully:
  Engine invariants#45:Scheduled
  main

  Oct 12, 202628m 44s
  More actions for workflow run 45

• Merge pull request #1 from provasign/ci/family-size-invariant

  completed successfully:
  Engine invariants#44:Commit595348dpushedbytabladrum
  main

  Oct 12, 202618m 10s
  More actions for workflow run 44

• ci_invariants: family-size invariant (gson TypeAdapter.write == Spoon oracle 55)

  completed successfully:
  Engine invariants#43:Pull request#1synchronizebytabladrum
  ci/family-size-invariant

  Oct 12, 202626m 19s
  More actions for workflow run 43

• ci_invariants: family-size invariant (gson TypeAdapter.write == Spoon oracle 55)

  failed:
  Engine invariants#42:Pull request#1openedbytabladrum
  ci/family-size-invariant

  Oct 12, 202629m 14s
  More actions for workflow run 42

• ci: raise ceiling floors to the v0.87.0 measurement (precision 1.0 ev…

  completed successfully:
  Engine invariants#41:Commitb9c746dpushedbytabladrum
  main

  Oct 10, 202624m 8s
  More actions for workflow run 41

• ci: decoy invariant — comments must not change the graph

  completed successfully:
  Engine invariants#40:Commit36ceacapushedbytabladrum
  main

  Oct 10, 202628m 21s
  More actions for workflow run 40

• harness: drop click seed task's 31,000 stress-test ids; pytest_args t…

  completed successfully:
  Engine invariants#39:Commit5759605pushedbytabladrum
  main

  Oct 9, 202611m 49s
  More actions for workflow run 39

• results: seeded32 (native vs prism v0.86.2, Sonnet 5.5), 2026-10-05

  completed successfully:
  Engine invariants#38:Commitc324770pushedbytabladrum
  main

  Oct 6, 20268m 26s
  More actions for workflow run 38

• harness: seeded signature-change tasks (site_mode=files), history census

  completed successfully:
  Engine invariants#37:Commitfaa1e19pushedbytabladrum
  main

  Oct 5, 202610m 22s
  More actions for workflow run 37

• Engine invariants

  completed successfully:
  Engine invariants#36:Scheduled
  main

  Oct 5, 202610m 8s
  More actions for workflow run 36