Skip to content

chore(conformance): re-derive ledgers at d6c403c2 - #833

Closed
scbrown wants to merge 1 commit into
mainfrom
chore/conformance-ledgers-d6c403c2d16f
Closed

scbrown wants to merge 1 commit into
mainfrom
chore/conformance-ledgers-d6c403c2d16f

Conversation

@scbrown

@scbrown scbrown commented Oct 25, 2026

Copy link
Copy Markdown
Collaborator

Automated by aegis scripts/quipu-ledger-autoderive.py (aegis-qmrymu). Ledgers from run 40155815338 at d6c403c. Changes only benchmark/public/results/rdf11-syntax.json, benchmark/public/results/shacl-core.json, benchmark/public/results/sparql10-evaluation.json, benchmark/public/results/sparql11-entailment.json, benchmark/public/results/sparql11-evaluation.json, benchmark/public/results/sparql11-federated-query.json, benchmark/public/results/sparql11-syntax.json, benchmark/public/results/sparql12.json, docs/book/src/benchmarks/conformance.md. Merged unattended through pr-risk only at tier 0, outside merge holds.

Automated (aegis-qmrymu): artifact conformance-ledgers-d6c403c2d16f31aacf4e9aa37e2b1ca1d6874fee from run 40155815338. Ledger and page paths only.
@scbrown

scbrown commented Oct 25, 2026

Copy link
Copy Markdown
Collaborator Author

Superseded: older chore PRs are superseded by main (aegis-qmrymu).

@scbrown scbrown closed this Oct 25, 2026
@scbrown
scbrown deleted the chore/conformance-ledgers-d6c403c2d16f branch October 25, 2026 04:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant