Development record
A first signal during the login check of `abcd drain --drive` still starts the proof's launch: the signal marks a soft stop, and nothing reads it between the check and the launch. The drive is not on the default branch yet, so this record carries no location.
issueopenminoriss-2611051719447823
A first signal during the login check of abcd drain --drive still starts the proof's launch: the signal marks a soft stop, and nothing reads it between the check and the launch. The drive is not on the default branch yet, so this record carries no location.
Frontmatter
| id | iss-2611051719447823 |
|---|---|
| type | issue |
| lifecycle | open |
| severity | minor |
.abcd/work/issues/open/iss-2611051719447823-a-first-signal-during-a-drive-s-login.md
open on GitHub ↗ · commit history ↗