File tree Expand file tree Collapse file tree 7 files changed +212
-44
lines changed
cppjswasm/.github/workflows
jupyter/.github/workflows
rustjswasm/.github/workflows Expand file tree Collapse file tree 7 files changed +212
-44
lines changed Original file line number Diff line number Diff line change 11name: Publish Docs
22
33on:
4- push:
5- branches:
6- - main
4+ workflow_run:
5+ workflows: ["Build Status"]
6+ branches: [main]
7+ types: [completed]
78 workflow_dispatch:
9+
810permissions:
11+ actions: read
912 contents: write
13+
1014jobs:
1115 docs:
1216 runs-on: ubuntu-latest
17+ if: {% raw %} ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
1318 steps:
1419 - uses: actions/checkout@v6
1520 - uses: actions-ext/python/setup@main
16- - run: uv pip install .[develop]
17- - run: uv pip install yardang
21+
22+ - name: Download dist from build
23+ uses: actions/download-artifact@v7
24+ with:
25+ name: dist-ubuntu-latest-{{python_version_primary}}
26+ path: dist
27+ run-id: {% raw %} ${{ github.event.workflow_run.id }}{% endraw %}
28+ if: github.event_name == 'workflow_run'
29+
30+ - name: Install from wheel
31+ run: |
32+ uv pip install dist/*.whl
33+ uv pip install yardang
34+ if: github.event_name == 'workflow_run'
35+
36+ - name: Install from source (manual trigger)
37+ run: |
38+ uv pip install .[develop]
39+ uv pip install yardang
40+ if: github.event_name == 'workflow_dispatch'
41+
1842 - run: yardang build
43+
1944 - uses: peaceiris/actions-gh-pages@v4
2045 with:
2146 publish_branch: gh-pages
Original file line number Diff line number Diff line change 11name: Publish Docs
22
33on:
4- push:
5- branches:
6- - main
4+ workflow_run:
5+ workflows: ["Build Status"]
6+ branches: [main]
7+ types: [completed]
78 workflow_dispatch:
9+
810permissions:
11+ actions: read
912 contents: write
13+
1014jobs:
1115 docs:
1216 runs-on: ubuntu-latest
17+ if: {% raw %} ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
1318 steps:
1419 - uses: actions/checkout@v6
1520 - uses: actions-ext/python/setup@main
16- - uses: actions-ext/node/setup@main
17- - uses: mymindstorm/setup-emsdk@v16
18- - run: make develop
19- - run: uv pip install .
20- - run: uv pip install yardang
21+
22+ - name: Download dist from build
23+ uses: actions/download-artifact@v7
24+ with:
25+ name: dist-ubuntu-latest-{{python_version_primary}}
26+ path: dist
27+ run-id: {% raw %} ${{ github.event.workflow_run.id }}{% endraw %}
28+ if: github.event_name == 'workflow_run'
29+
30+ - name: Install from wheel
31+ run: |
32+ uv pip install dist/*.whl
33+ uv pip install yardang
34+ if: github.event_name == 'workflow_run'
35+
36+ - name: Install from source (manual trigger)
37+ run: |
38+ make develop
39+ uv pip install .
40+ uv pip install yardang
41+ if: github.event_name == 'workflow_dispatch'
42+
2143 - run: yardang build
44+
2245 - uses: peaceiris/actions-gh-pages@v4
2346 with:
2447 publish_branch: gh-pages
Original file line number Diff line number Diff line change 11name: Publish Docs
22
33on:
4- push:
5- branches:
6- - main
4+ workflow_run:
5+ workflows: ["Build Status"]
6+ branches: [main]
7+ types: [completed]
78 workflow_dispatch:
9+
810permissions:
11+ actions: read
912 contents: write
13+
1014jobs:
1115 docs:
1216 runs-on: ubuntu-latest
17+ if: {% raw %} ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
1318 steps:
1419 - uses: actions/checkout@v6
1520 - uses: actions-ext/python/setup@main
16- - uses: actions-ext/node/setup@main
17- - run: uv pip install .[develop]
18- - run: uv pip install yardang
21+
22+ - name: Download dist from build
23+ uses: actions/download-artifact@v7
24+ with:
25+ name: dist-ubuntu-latest
26+ path: dist
27+ run-id: {% raw %} ${{ github.event.workflow_run.id }}{% endraw %}
28+ if: github.event_name == 'workflow_run'
29+
30+ - name: Install from wheel
31+ run: |
32+ uv pip install dist/*.whl
33+ uv pip install yardang
34+ if: github.event_name == 'workflow_run'
35+
36+ - name: Install from source (manual trigger)
37+ run: |
38+ uv pip install .[develop]
39+ uv pip install yardang
40+ if: github.event_name == 'workflow_dispatch'
41+
1942 - run: yardang build
43+
2044 - uses: peaceiris/actions-gh-pages@v4
2145 with:
2246 publish_branch: gh-pages
Original file line number Diff line number Diff line change 11name: Publish Docs
22
33on:
4- push:
5- branches:
6- - main
4+ workflow_run:
5+ workflows: ["Build Status"]
6+ branches: [main]
7+ types: [completed]
78 workflow_dispatch:
9+
810permissions:
11+ actions: read
912 contents: write
13+
1014jobs:
1115 docs:
1216 runs-on: ubuntu-latest
17+ if: {% raw %} ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
1318 steps:
1419 - uses: actions/checkout@v6
1520 - uses: actions-ext/python/setup@main
16- - uses: actions-ext/node/setup@main
17- - run: uv pip install .[develop]
18- - run: uv pip install yardang
21+
22+ - name: Download dist from build
23+ uses: actions/download-artifact@v7
24+ with:
25+ name: dist-ubuntu-latest
26+ path: dist
27+ run-id: {% raw %} ${{ github.event.workflow_run.id }}{% endraw %}
28+ if: github.event_name == 'workflow_run'
29+
30+ - name: Install from wheel
31+ run: |
32+ uv pip install dist/*.whl
33+ uv pip install yardang
34+ if: github.event_name == 'workflow_run'
35+
36+ - name: Install from source (manual trigger)
37+ run: |
38+ uv pip install .[develop]
39+ uv pip install yardang
40+ if: github.event_name == 'workflow_dispatch'
41+
1942 - run: yardang build
43+
2044 - uses: peaceiris/actions-gh-pages@v4
2145 with:
2246 publish_branch: gh-pages
Original file line number Diff line number Diff line change 11name: Publish Docs
22
33on:
4- push:
5- branches:
6- - main
4+ workflow_run:
5+ workflows: ["Build Status"]
6+ branches: [main]
7+ types: [completed]
78 workflow_dispatch:
9+
810permissions:
11+ actions: read
912 contents: write
13+
1014jobs:
1115 docs:
1216 runs-on: ubuntu-latest
17+ if: {% raw %} ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
1318 steps:
1419 - uses: actions/checkout@v6
1520 - uses: actions-ext/python/setup@main
16- - run: uv pip install .[develop]
17- - run: uv pip install yardang
21+
22+ - name: Download dist from build
23+ uses: actions/download-artifact@v7
24+ with:
25+ name: dist-ubuntu-latest
26+ path: dist
27+ run-id: {% raw %} ${{ github.event.workflow_run.id }}{% endraw %}
28+ if: github.event_name == 'workflow_run'
29+
30+ - name: Install from wheel
31+ run: |
32+ uv pip install dist/*.whl
33+ uv pip install yardang
34+ if: github.event_name == 'workflow_run'
35+
36+ - name: Install from source (manual trigger)
37+ run: |
38+ uv pip install .[develop]
39+ uv pip install yardang
40+ if: github.event_name == 'workflow_dispatch'
41+
1842 - run: yardang build
43+
1944 - uses: peaceiris/actions-gh-pages@v4
2045 with:
2146 publish_branch: gh-pages
Original file line number Diff line number Diff line change 11name: Publish Docs
22
33on:
4- push:
5- branches:
6- - main
4+ workflow_run:
5+ workflows: ["Build Status"]
6+ branches: [main]
7+ types: [completed]
78 workflow_dispatch:
9+
810permissions:
11+ actions: read
912 contents: write
13+
1014jobs:
1115 docs:
1216 runs-on: ubuntu-latest
17+ if: {% raw %} ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
1318 steps:
1419 - uses: actions/checkout@v6
1520 - uses: actions-ext/python/setup@main
16- - uses: actions-ext/rust/setup@main
17- - run: uv pip install .[develop]
18- - run: uv pip install yardang
21+
22+ - name: Download dist from build
23+ uses: actions/download-artifact@v7
24+ with:
25+ name: dist-ubuntu-latest
26+ path: dist
27+ run-id: {% raw %} ${{ github.event.workflow_run.id }}{% endraw %}
28+ if: github.event_name == 'workflow_run'
29+
30+ - name: Install from wheel
31+ run: |
32+ uv pip install dist/*.whl
33+ uv pip install yardang
34+ if: github.event_name == 'workflow_run'
35+
36+ - name: Install from source (manual trigger)
37+ run: |
38+ uv pip install .[develop]
39+ uv pip install yardang
40+ if: github.event_name == 'workflow_dispatch'
41+
1942 - run: yardang build
43+
2044 - uses: peaceiris/actions-gh-pages@v4
2145 with:
2246 publish_branch: gh-pages
Original file line number Diff line number Diff line change 11name: Publish Docs
22
33on:
4- push:
5- branches:
6- - main
4+ workflow_run:
5+ workflows: ["Build Status"]
6+ branches: [main]
7+ types: [completed]
78 workflow_dispatch:
9+
810permissions:
11+ actions: read
912 contents: write
13+
1014jobs:
1115 docs:
1216 runs-on: ubuntu-latest
17+ if: {% raw %} ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
1318 steps:
1419 - uses: actions/checkout@v6
1520 - uses: actions-ext/python/setup@main
16- - uses: actions-ext/rust/setup@main
17- - uses: actions-ext/node/setup@main
18- - run: make develop
19- - run: uv pip install .
20- - run: uv pip install yardang
21+
22+ - name: Download dist from build
23+ uses: actions/download-artifact@v7
24+ with:
25+ name: dist-ubuntu-latest
26+ path: dist
27+ run-id: {% raw %} ${{ github.event.workflow_run.id }}{% endraw %}
28+ if: github.event_name == 'workflow_run'
29+
30+ - name: Install from wheel
31+ run: |
32+ uv pip install dist/*.whl
33+ uv pip install yardang
34+ if: github.event_name == 'workflow_run'
35+
36+ - name: Install from source (manual trigger)
37+ run: |
38+ make develop
39+ uv pip install .
40+ uv pip install yardang
41+ if: github.event_name == 'workflow_dispatch'
42+
2143 - run: yardang build
44+
2245 - uses: peaceiris/actions-gh-pages@v4
2346 with:
2447 publish_branch: gh-pages
You can’t perform that action at this time.
0 commit comments