This is a GitHub Action to convert a GitHub repository into a Wasm-powered integrated development environment (IDE) and publish it to GitHub Pages.
Create the file .github/workflows/repo2wasm.yml with
name: Convert repository to Wasm-powered integrated development environment
on:
push:
branches:
- main
jobs:
create-ide:
runs-on: ubuntu-24.04
permissions:
pages: write
id-token: write
steps:
- name: Create IDE and publish to GitHub Pages
uses: repo2wasm/[email protected]| Input | Required | Default | Description |
|---|---|---|---|
input |
false |
. |
The name of the input directory to use. |
forgiving |
false |
false |
Ignore package version. |
ide |
false |
jupyterlab |
The IDE to configure. |
output |
false |
gh-pages |
The name of the output directory to use. |
pages |
false |
true |
Enable publishing IDE to GitHub Actions. |
python_version |
false |
3.13 |
Version of Python to use. |
pixi_version |
false |
v0.59.0 |
Version of Pixi to use. |
This GitHub Action will, by default, try to publish the IDE to GitHub Pages using a custom GitHub Actions workflow. For this, a manual step is required to select GitHub Actions as the "Source" for "Build and deployment" of the website, more details in the official documentation.
repo2wasm is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.
About
repo2wasm is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.