Skip to content

Use actions/deploy-pages to deploy the website#868

Merged
marcoieni merged 1 commit intorust-lang:masterfrom
ehuss:deploy-gh-pages
Jun 9, 2025
Merged

Use actions/deploy-pages to deploy the website#868
marcoieni merged 1 commit intorust-lang:masterfrom
ehuss:deploy-gh-pages

Commits

Commits on Jun 7, 2025