Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
|
@@ -91,32 +91,37 @@ with gr.Blocks(theme=theme, analytics_enabled=False, css=css) as demo:
|
|
| 91 |
with gr.Column():
|
| 92 |
gr.Markdown(
|
| 93 |
"""\
|
| 94 |
-
|
| 95 |
-
|
| 96 |
-
|
| 97 |
-
|
| 98 |
-
|
| 99 |
-
|
| 100 |
-
|
| 101 |
-
|
| 102 |
-
|
| 103 |
-
|
| 104 |
-
|
| 105 |
-
|
| 106 |
-
|
| 107 |
-
|
| 108 |
-
|
| 109 |
-
|
| 110 |
-
|
| 111 |
-
|
| 112 |
-
|
| 113 |
-
|
| 114 |
-
|
| 115 |
-
|
| 116 |
-
|
| 117 |
-
|
| 118 |
-
|
| 119 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 120 |
"""
|
| 121 |
)
|
| 122 |
with gr.Row():
|
|
|
|
| 91 |
with gr.Column():
|
| 92 |
gr.Markdown(
|
| 93 |
"""\
|
| 94 |
+
# BigCode - Playground
|
| 95 |
+
|
| 96 |
+
_Note:_ this is an internal playground - please do not share. The deployment can also change and thus the space not work as we continue development.
|
| 97 |
+
|
| 98 |
+
## Model formats
|
| 99 |
+
|
| 100 |
+
### Prefixes
|
| 101 |
+
Any combination of the three:
|
| 102 |
+
|
| 103 |
+
```
|
| 104 |
+
<reponame>REPONAME<filename>FILENAME<gh_stars>STARS\nCode<eos>
|
| 105 |
+
```
|
| 106 |
+
Stars be: 0, 1-10, 10-100, 100-1000, 1000+
|
| 107 |
+
|
| 108 |
+
### Commits
|
| 109 |
+
|
| 110 |
+
```
|
| 111 |
+
<commit_before>code<commit_msg>text<commit_after>code<|endoftext|>
|
| 112 |
+
```
|
| 113 |
+
|
| 114 |
+
### Jupyter structure
|
| 115 |
+
|
| 116 |
+
```
|
| 117 |
+
<start_jupyter><jupyter_text>text<jupyter_code>code<jupyter_output>output<jupyter_text>
|
| 118 |
+
```
|
| 119 |
+
|
| 120 |
+
### Fill-in-the-middle
|
| 121 |
+
|
| 122 |
+
```
|
| 123 |
+
code before<FILL_HERE>code after
|
| 124 |
+
```
|
| 125 |
"""
|
| 126 |
)
|
| 127 |
with gr.Row():
|