Transaction Science
4e8350def7
ci: run the new platform-gated meter tests where their platform is ...
The resident z3 tree tests (proof-solvers tests/z3_tree.rs) and the local
engine tree tests (sandbox-proof) are gated to Apple Silicon macOS, and the
matrix legs for proof-rs and sandbox-rs run on Linux, so they would run
nowhere. The macOS energy job now runs both and greps the line each metered
run prints ('z3 tree meter:', 'local engine tree:'): a missing z3 or a
per-process counter that is not live prints another line and fails the
step. Likewise the accelerator proof's RAPL path only runs on real
counters: the jetson-hub hardware job now runs sandbox-proof's accelerator
tests and fails unless the RAPL bracket line was printed, and triggers on
sandbox-proof changes.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-10 18:11:22 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
ci: run the new platform-gated meter tests where their platform is
2026-10-10 18:11:22 -04:00
joule-moq: receipt chains recover (P-J2, P-J3); public text by capability; the conformance gate parses its count
2026-10-06 10:39:21 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
ci: touch one workflow to test that the new group supersedes its own queue
2026-10-05 12:03:07 -04:00
ci: run the new platform-gated meter tests where their platform is
2026-10-10 18:11:22 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
Merge pull request 'wai: receipts, keys, grants and parameter sets over HTTP; key logs anchored over TLS (W3-3)' ( #200 ) from wai/w3-3-http-receipts into main
2026-10-10 17:16:04 -04:00
wai-quantum circuit2: sections read as I-JSON, a reject payload for every refusal, review fixes
2026-10-09 16:20:47 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
falsify: every mutation names the cases it must fail; receipt-surrogates reaches one
2026-10-10 01:42:38 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
wai-ops.yml: the goldens' digest file in the filter; every test on the 32-bit leg
2026-10-09 19:31:39 -04:00
Merge main (at 17b7559a) into wai/w3-3-http-receipts
2026-10-09 10:50:54 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
wai-quantum circuit2: the browser sink, the IDE and the serve component follow the gateset
2026-10-09 13:05:18 -04:00
ci: workflow hygiene — restore the comment marker on the header's first prose line
2026-10-09 16:29:23 -04:00
4e8350def7