open-standards/proof/proof-rs/crates
Repository files (latest commit first)
Filename Latest commit message Latest commit date
dcharlot f244bd33a3
All checks were successful
energy meters on real hardware / RAPL and NVML on jetson-hub (push) Successful in 41s
standards workspaces build + test / jouleclaw-rs (push) Successful in 2m40s
standards workspaces build + test / joule-code-rs (push) Successful in 1m24s
standards workspaces build + test / joulecontract-rs (push) Successful in 55s
standards workspaces build + test / aac-rs (push) Successful in 2m33s
standards workspaces build + test / jouledesk-rs (push) Successful in 51s
standards workspaces build + test / map-rs (push) Successful in 54s
standards workspaces build + test / mesh-rs (push) Successful in 53s
standards workspaces build + test / openpay (push) Successful in 2m38s
standards workspaces build + test / macOS energy backends (push) Successful in 4m23s
lockfiles / every Cargo.lock is current (push) Successful in 38s
no-vanity-metrics / Scan committed Markdown for vanity metrics (push) Successful in 3s
no-vanity-metrics / WAI public text names no comparison (push) Successful in 11s
no-vanity-metrics / WAI public text names no company or product (push) Successful in 5s
standards workspaces build + test / arl-rs (push) Successful in 1m15s
standards workspaces build + test / eoc-rs (push) Successful in 2m6s
standards workspaces build + test / jcp-rs (push) Successful in 1m32s
standards workspaces build + test / joule-ui-rs (push) Successful in 1m11s
standards workspaces build + test / joulehook-rs (push) Successful in 1m12s
standards workspaces build + test / proof-rs (push) Successful in 1m18s
standards workspaces build + test / sense-rs (push) Successful in 1m12s
standards workspaces build + test / sandbox-rs (push) Successful in 2m21s
workflow hygiene / every workflow supersedes its own queue (push) Successful in 5s
standards workspaces build + test / smart-byte-rs (push) Successful in 3m42s
Merge pull request 'sandbox-meter: a member waiting on the kernel in the middle of its work is not settled' (#230) from fix/tree-energy-reap-under-load into main
2026-10-13 03:13:53 -04:00
..
proof-cascade proof-cascade: the meter reads its own process only once the measuring thread has left its core 2026-10-12 20:50:53 -04:00
proof-cli proof-cascade: the meter reads its own process only once the measuring thread has left its core 2026-10-12 20:50:53 -04:00
proof-conformance proof: read the published conformance pack, and pin the cascade's accounting 2026-09-21 13:48:08 -04:00
proof-receipt proof: closed_by_stub rides in the signed receipt (SPEC §6.1) 2026-08-30 17:22:46 -04:00
proof-schema proof-solvers: grade wall time × the default 15 W Estimator, not ModelBased 2026-10-11 10:11:54 -04:00
proof-solvers jcp-gateway, proof-solvers: the tree tests' oracles ask each thread's wait state too 2026-10-13 02:25:40 -04:00