You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/src/develop.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -7,7 +7,7 @@ Included with the codebase is the recommended development environment configured
7
7
Here are some options that provide a great developer experience:
8
8
9
9
-**Cloud-based IDE**: (*recommended*)
10
-
- Launch using [GitHub Codespaces](https://github.com/features/codespaces) using the option `Create codespace on master` in the codebase repository.
10
+
- Launch using [GitHub Codespaces](https://github.com/features/codespaces) using the option `Create codespace on master` in the codebase repository on your fork.
11
11
- Build time for a 2-Core codespace is **~5m**. This is done infrequently and cached for convenience.
12
12
- Start time for a 2-Core codespace is **~1m**. This will pull the built codespace from cache when you need it.
13
13
- Tip: GitHub auto names the codespace but you can rename the codespace so that it is easier to identify later.
0 commit comments