This repo hosts the generated (post-build) assets for ohmjs.org in the gh-pages branch. The source for the site is now at ohmjs/ohmjs.org.
NOTE: Do NOT delete this repo! ohmlang.github.io used to be the official Ohm site, and some published papers use that URL. As long as this repo is around, GitHub will 301 redirect to whatever is in the CNAME file.
On 2025-01-29 the site was down to an an SSL issue. Here's what happened & how I fixed it:
- I went to Settings → Pages for ohmlang.github.io and saw a Certificate Request Error:
- On Cloudflare, under the site settings for ohmjs.org, I did Pause Cloudflare.
- On GitHub, I removed the custom domain name, and then added it back.
- I re-enabled the site on Cloudflare.