ayushnoori commited on
Commit
95b70fd
1 Parent(s): 2ec4448

Update SDK version

Browse files
Files changed (3) hide show
  1. README.md +1 -1
  2. app.py +1 -1
  3. spaces.md +1 -1
README.md CHANGED
@@ -4,7 +4,7 @@ emoji: 🤗
4
  colorFrom: blue
5
  colorTo: green
6
  sdk: streamlit
7
- sdk_version: 1.28.0
8
  app_file: app.py
9
  pinned: false
10
  ---
 
4
  colorFrom: blue
5
  colorTo: green
6
  sdk: streamlit
7
+ sdk_version: 1.19.0
8
  app_file: app.py
9
  pinned: false
10
  ---
app.py CHANGED
@@ -42,7 +42,7 @@ domain = st.selectbox("Domain", ["arithmetic", "strings"])
42
  max_weight = st.slider("Maximum Weight", 2, 10, 3)
43
 
44
  # example_keys = list(example_set.keys())
45
- custom_example = st.toggle("Custom Example", value = False)
46
  if custom_example:
47
  if domain == "arithmetic":
48
  default_example = "[([7, 2], 9), ([8, 1], 9), ([4, 6], 10), ([3, 9], 12), ([5, 8], 13)]"
 
42
  max_weight = st.slider("Maximum Weight", 2, 10, 3)
43
 
44
  # example_keys = list(example_set.keys())
45
+ custom_example = st.checkbox("Use Custom Example", value = False)
46
  if custom_example:
47
  if domain == "arithmetic":
48
  default_example = "[([7, 2], 9), ([8, 1], 9), ([4, 6], 10), ([3, 9], 12), ([5, 8], 13)]"
spaces.md CHANGED
@@ -4,7 +4,7 @@ emoji: 🤗
4
  colorFrom: blue
5
  colorTo: green
6
  sdk: streamlit
7
- sdk_version: 1.28.0
8
  app_file: app.py
9
  pinned: false
10
  ---
 
4
  colorFrom: blue
5
  colorTo: green
6
  sdk: streamlit
7
+ sdk_version: 1.19.0
8
  app_file: app.py
9
  pinned: false
10
  ---