Skip to content

Commit f4db207

Browse files
committed
fix example
Signed-off-by: James Sturtevant <jsturtevant@gmail.com>
1 parent 58f3243 commit f4db207

2 files changed

Lines changed: 10 additions & 10 deletions

File tree

‎.github/workflows/ci.yml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -94,28 +94,28 @@ jobs:
9494
- name: Build JS sandbox
9595
run: just jssandbox build
9696

97-
- name: Format check
97+
- name: Python SDK Format check
9898
run: just python fmt-check
9999

100-
- name: Lint
100+
- name: Python SDK Lint
101101
run: just python lint
102102

103-
- name: Build
103+
- name: Python SDK Build
104104
run: just python build
105105

106-
- name: Run examples
106+
- name: Python SDK examples
107107
run: just python examples
108108

109-
- name: Tests
109+
- name: Python SDK Tests
110110
run: just python python-test
111111

112-
- name: Fuzz
112+
- name: Python SDK Fuzz
113113
run: just fuzz 90
114114

115-
- name: Benchmark
115+
- name: Python SDK Benchmark
116116
run: just benchmark
117117

118-
- name: Run integration examples
118+
- name: Run Python SDK integration examples
119119
env:
120120
COPILOT_GITHUB_TOKEN: ${{ secrets.COPILOT_TOKEN }}
121121
run: just integration-examples

‎src/sdk/python/core/examples/javascript_network_demo.py‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -58,15 +58,15 @@
5858
print("Test 3: Method filtering — GET allowed, POST blocked")
5959
print("═" * 60)
6060
result = sandbox.run("""
61-
const resp = await fetch('https://httpbin.org/get');
61+
const getResp = await fetch('https://httpbin.org/get');
6262
if (getResp.status === 200) {
6363
const body = await getResp.text();
6464
console.log('GET allowed: status ' + getResp.status);
6565
console.log(body);
6666
} else {
6767
console.log('GET failed: status ' + getResp.status);
6868
}
69-
const resp = await fetch('https://httpbin.org/post', { method: 'POST' });
69+
const postResp = await fetch('https://httpbin.org/post', { method: 'POST' });
7070
if (postResp.status === 403) {
7171
console.log('POST blocked: status ' + postResp.status);
7272
console.log(' (httpbin.org only allows GET — correct!)');

0 commit comments

Comments
 (0)