open-standards/proof/proof-rs
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
..
crates 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
Cargo.lock proof-solvers: read each resident z3 decision off z3's own process tree 2026-10-10 18:11:21 -04:00
Cargo.toml msrv: raise the rust-version floor to 1.97 across the workspaces 2026-07-23 00:17:08 -04:00