Commit 8447993
Fix build_playground path + docs CI registry update
- build_playground: look for index.html at docs/src/playground/ (was docs/playground/)
- docs CI: use Pkg.Registry.update() + Pkg.instantiate() instead of Pkg.resolve()
(resolve tries to upgrade deps and fails when registry isn't populated)
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent 341c863 commit 8447993
2 files changed
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | | - | |
| 35 | + | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
22 | 22 | | |
23 | 23 | | |
24 | 24 | | |
25 | | - | |
| 25 | + | |
26 | 26 | | |
27 | 27 | | |
28 | 28 | | |
| |||
0 commit comments