-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: atrislabs/atris
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Say so when a proof names a command that nothing ran
#565
opened Jul 26, 2026 by
keshav55
Contributor
Loading…
Let the CLI ask for mission fan-out the backend already accepts
#564
opened Jul 26, 2026 by
keshav55
Contributor
Loading…
Run the mission verifier in a busy workspace instead of silently skipping it
#563
opened Jul 26, 2026 by
keshav55
Contributor
Loading…
Send a granted wish to cloud work with atris wish grant --cloud
#562
opened Jul 26, 2026 by
keshav55
Contributor
Loading…
fix: replace gets() with fgets() in dfs.c...
#542
opened Jul 23, 2026 by
anupamme
Loading…
3 tasks done
Overnight hardening: mission/pulse/autopilot loop fixes + autoland accept guard
#206
opened Jul 3, 2026 by
keshav55
Contributor
Loading…
fix(golden-path): land certified onboarding papercuts
#194
opened Jul 2, 2026 by
keshav55
Contributor
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.