Skip to content

feat(guide): add exercise reset control [Codex] - #1350

Merged
jderochervlk merged 1 commit into
masterfrom
feat/guide-exercise-reset
Sep 13, 2026
Merged

feat(guide): add exercise reset control [Codex]#1350
jderochervlk merged 1 commit into
masterfrom
feat/guide-exercise-reset

Conversation

@jderochervlk

Copy link
Copy Markdown
Collaborator

Guide learners need a way to discard a draft and return to an exercise's starting point without losing completed checkpoints.\n\nAdds an accessible Reset control in the editor header. It restores the active exercise's initial code, removes only that exercise's saved draft, and leaves completion progress intact. The Browser Mode coverage uses a completed exercise whose initial output does not automatically pass, so the retained-progress behavior is explicit.

Restore the current exercise's initial code while clearing its saved draft and retaining completion progress.
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 13, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-09-13T14:44:58.107416Z 997d668 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@github-actions

Copy link
Copy Markdown
Contributor

Guide Cloudflare deployment

⛅️ wrangler 4.114.0
────────────────────
🌀 Building list of assets...
✨ Read 10 files from the assets directory /home/runner/work/rescript-lang.org/rescript-lang.org/apps/guide/out
🌀 Starting asset upload...
🌀 Found 6 new or modified static assets to upload. Proceeding with upload...

  • /assets/root-BcZ1ju43.js
  • /assets/main-C-sv-CkO.css
  • /assets/manifest-d5f3529b.js
  • /index.html
  • /__spa-fallback.html
  • /assets/GuideHomeRoute-Dg29YbFf.js
    Uploaded 2 of 6 assets
    Uploaded 4 of 6 assets
    Uploaded 6 of 6 assets
    ✨ Success! Uploaded 6 files (3 already uploaded) (1.55 sec)

Total Upload: 0.31 KiB / gzip: 0.22 KiB
Worker Startup Time: 0 ms
Uploaded guide (3.03 sec)
Worker Version ID: 413c90e7-bef4-46af-bc7d-2b4279f07975
Version Preview URL: https://413c90e7-guide.rescript.workers.dev
Version Preview Alias URL: https://feat-guide-exercise-reset-guide.rescript.workers.dev

To deploy this version to production traffic use the command wrangler versions deploy

Changes to non-versioned settings (config properties 'logpush' or 'tail_consumers') take effect after your next deployment using the command wrangler versions deploy

Changes to triggers (routes, custom domains, cron schedules, etc) must be applied with the command wrangler triggers deploy

@cloudflare-workers-and-pages

Copy link
Copy Markdown

Deploying with  Cloudflare Workers  Cloudflare Workers

The latest updates on your project. Learn more about integrating Git with Workers.

Status Name Latest Commit Preview URL Updated (UTC)
✅ Deployment successful!
View logs
guide 997d668 Commit Preview URL

Branch Preview URL
Sep 13 2026, 02:42 PM

@github-actions

Copy link
Copy Markdown
Contributor

Cloudflare deployment

Deployement ID: 0b251236-7119-4367-9faf-47235f03b7b9
Deployment Environment: preview

⛅️ wrangler 4.114.0
────────────────────
✨ Compiled Worker successfully
Uploading... (8289/8770)
Uploading... (8449/8770)
Uploading... (8609/8770)
Uploading... (8770/8770)
✨ Success! Uploaded 481 files (8289 already uploaded) (2.93 sec)

✨ Uploading _redirects
✨ Uploading Functions bundle
🌎 Deploying...
✨ Deployment complete! Take a peek over at https://0b251236.rescript-lang.pages.dev
✨ Deployment alias URL: https://feat-guide-exercise-reset.rescript-lang.pages.dev

@jderochervlk
jderochervlk merged commit 076deaf into master Sep 13, 2026
8 checks passed
@jderochervlk
jderochervlk deleted the feat/guide-exercise-reset branch September 13, 2026 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants