-
Notifications
You must be signed in to change notification settings - Fork 22
Pull requests: eth-act/ere
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(server): add global watchdog for hard prove timeouts
#352
opened May 5, 2026 by
Andrurachi
•
Draft
ci: prevent github api rate limits using docker buildkit secrets
#350
opened May 3, 2026 by
Andrurachi
Loading…
chore(master): release 0.9.0
autorelease: pending
#345
opened Apr 27, 2026 by
han0110
Collaborator
Loading…
fix(zisk): export CUDA_ARCH as CUDA_ARCHS env for cargo build
#336
opened Apr 21, 2026 by
qu0b
Loading…
3 of 4 tasks
ProTip!
Add no:assignee to see everything that’s not assigned.