-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: pulseengine/loom
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs(ci): document rocq-proofs gating rationale + plan (refs #169)
#170
opened Jun 6, 2026 by
avrabe
Contributor
Loading…
fix(release): exclude rayon on wasm32 so the WASM build links — restores release binaries (#142)
#167
opened Jun 3, 2026 by
avrabe
Contributor
Loading…
ci(release): standardize on synth pattern — sums + cosign + SLSA + SBOM
#143
opened May 24, 2026 by
avrabe
Contributor
Loading…
1 of 5 tasks
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI)
#141
opened May 23, 2026 by
avrabe
Contributor
Loading…
2 tasks
ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain
#139
opened May 21, 2026 by
avrabe
Contributor
Loading…
[temper] Configuration update
automation
Automation updates
dependencies
Dependency updates
#82
opened Apr 29, 2026 by
temper-pulseengine
Bot
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.