Skip to content

Fix path normalization in API docs#1202

Open
fhammerschmidt wants to merge 1 commit intorescript-lang:masterfrom
fhammerschmidt:fix-1162
Open

Fix path normalization in API docs#1202
fhammerschmidt wants to merge 1 commit intorescript-lang:masterfrom
fhammerschmidt:fix-1162

Conversation

@fhammerschmidt
Copy link
Member

Fixes #1162

@fhammerschmidt fhammerschmidt added the ok-to-deploy Trigger deployment if you are sure a PR is safe to deploy. label Feb 26, 2026
@github-actions
Copy link

Fork PR Cloudflare deployment

PR: #1202
Deployement ID: 95c3d116-7374-4ee7-a225-eecdeb143571
Deployment Environment: preview

⛅️ wrangler 4.61.1 (update available 4.69.0)
─────────────────────────────────────────────
✨ Compiled Worker successfully
Uploading... (6801/7231)
Uploading... (6944/7231)
Uploading... (7087/7231)
Uploading... (7231/7231)
✨ Success! Uploaded 430 files (6801 already uploaded) (5.20 sec)

✨ Uploading _redirects
✨ Uploading Functions bundle
🌎 Deploying...
✨ Deployment complete! Take a peek over at https://95c3d116.rescript-lang.pages.dev
✨ Deployment alias URL: https://head.rescript-lang.pages.dev

@fhammerschmidt
Copy link
Member Author

fhammerschmidt commented Feb 27, 2026

@chiang03 can you check if this fixes your issues?

Test-Deployment: https://95c3d116.rescript-lang.pages.dev/

I don't really understand the part with the next/previous buttons since they show up for me?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-deploy Trigger deployment if you are sure a PR is safe to deploy.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

navigation issues

2 participants