Skip to content

Commit 0c8a9cf

Browse files
committed
Add a docstring page
Signed-off-by: Rahul Krishna <rkrsn@ibm.com>
1 parent 7d09491 commit 0c8a9cf

744 files changed

Lines changed: 10129 additions & 67878 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.devcontainer/Dockerfile

Lines changed: 0 additions & 36 deletions
This file was deleted.

.devcontainer/devcontainer.json

Lines changed: 0 additions & 44 deletions
This file was deleted.

.github/workflows/deploy.yml

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
name: Deploy docs to GitHub Pages
2+
3+
on:
4+
push:
5+
branches: [docs]
6+
workflow_dispatch:
7+
8+
permissions:
9+
contents: write
10+
11+
concurrency:
12+
group: pages-deploy
13+
cancel-in-progress: true
14+
15+
jobs:
16+
deploy:
17+
runs-on: ubuntu-latest
18+
steps:
19+
- name: Checkout docs
20+
uses: actions/checkout@v6
21+
22+
- name: Set up Node
23+
uses: actions/setup-node@v4
24+
with:
25+
node-version: 22
26+
cache: npm
27+
28+
- name: Install dependencies
29+
run: npm ci
30+
31+
- name: Build site
32+
run: npm run build
33+
34+
- name: Publish dist to gh-pages
35+
run: |
36+
set -euo pipefail
37+
cd dist
38+
touch .nojekyll
39+
git init
40+
git config user.name "github-actions[bot]"
41+
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
42+
git add -A
43+
git commit -m "Deploy ${GITHUB_SHA}" || true
44+
git branch -M gh-pages
45+
git remote add origin "https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git"
46+
git push -f origin gh-pages

.github/workflows/release.yml

Lines changed: 0 additions & 58 deletions
This file was deleted.

.github/workflows/release_config.json

Lines changed: 0 additions & 39 deletions
This file was deleted.

0 commit comments

Comments
 (0)