Commit 6a2b445
committed
Cut 0.32.0
The [Unreleased] section as it stood becomes the release, in two parts. A warm
launch now says what it skipped: an attach to a workspace devpod already has
prints how far behind its checkout is, computed from dl's own clone and reaching
no network, so "this devcontainer boots correctly" cannot be concluded against a
container built before the repository had a `.devcontainer/`. And `dl --prune`
reclaims the per-workspace launch locks, which nothing short of `--purge`
removing the whole cache directory had ever reached.
The lock half needed two guards, not one. Unlinking an `flock`'d file is safe
only if every side asks, after its lock, whether the path still names the inode
it just locked -- the acquisition, so a run whose file went out from under it
queues again against the live one, and the sweep, so it does not unlink a file
somebody else created and is holding. A sweep that only took the lock would
still have removed a live launch's file, because an inode already unlinked has
no holders and locking one always succeeds.
**0.32.0 and not 0.30.0.** 0.30.0 remains cut on `feat/aid-appendable-agent-flag`
and has still not landed, so it stays skipped on the published channels for
c1ef6f5's reason: taking the number here would collide with its tag or ask that
branch to re-cut.
Mechanical otherwise. The README's conda badge and its `dl --version` transcript
move with the version, which test_readme_cli_doc holds, and the lockfile follows
the workspace version for dl, aid and devlaunch-test-support.
Cut on a release branch so the version bump is a reviewable diff and the publish
fires on the merge.
Claude-Session: https://claude.ai/code/session_01U4SpX4ixqQG5R8hErsPMot1 parent a9f4902 commit 6a2b445
4 files changed
Lines changed: 10 additions & 8 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
| 10 | + | |
| 11 | + | |
10 | 12 | | |
11 | 13 | | |
12 | 14 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
22 | | - | |
| 22 | + | |
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
| |||
276 | 276 | | |
277 | 277 | | |
278 | 278 | | |
279 | | - | |
| 279 | + | |
280 | 280 | | |
281 | 281 | | |
282 | 282 | | |
| |||
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
14 | | - | |
| 14 | + | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| |||
0 commit comments