Build and deploy GH Pages

toh.js: drop redundant profile, support instantiating ToHs with comments #17

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push December 5, 2023 00:25

jow-

main

Status Success

Total duration 1h 51m 30s

Artifacts –

deploy.yml

on: push