Skip to content

Commit ea63138

Browse files
Merge pull request #66 from HendrikBorgelt/update_semantics_based_on_new_voc4cat_terms
Modified the semantics based on new Voc4Cat terms
2 parents c157ff1 + 31b160d commit ea63138

16 files changed

Lines changed: 4202 additions & 2109 deletions

.github/workflows/test_pages_build.yaml

Lines changed: 12 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,8 @@ permissions: {}
1616

1717
jobs:
1818
run:
19+
# Don't run for PRs from forks
20+
if: github.event.pull_request.head.repo.full_name == github.repository
1921
# Grant GITHUB_TOKEN the permissions required to make a gh-pages deployment
2022
permissions:
2123
contents: write # to let mkdocs write the new docs
@@ -30,6 +32,12 @@ jobs:
3032
with:
3133
fetch-depth: 0
3234

35+
# https://github.com/actions/setup-python
36+
- name: Set up Python 3
37+
uses: actions/setup-python@v6.2.0
38+
with:
39+
python-version: 3.13
40+
3341
# https://github.com/astral-sh/setup-uv
3442
- name: Install uv
3543
uses: astral-sh/setup-uv@v8.1.0
@@ -38,17 +46,16 @@ jobs:
3846
enable-cache: true
3947
cache-dependency-glob: "uv.lock"
4048

41-
# https://github.com/actions/setup-python
42-
- name: Set up Python 3
43-
uses: actions/setup-python@v6.2.0
44-
with:
45-
python-version: 3.13
49+
- name: Install just
50+
run: |
51+
uv tool install rust-just
4652
4753
- name: Install dependencies
4854
run: uv sync --dev --no-progress
4955

5056
- name: Build documentation
5157
run: |
58+
just gen-doc
5259
uv run mkdocs build -d site
5360
touch site/.nojekyll
5461

0 commit comments

Comments
 (0)