-
Notifications
You must be signed in to change notification settings - Fork 18
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch '1.0.0-rc1' into 286-fairify
- Loading branch information
Showing
41 changed files
with
4,641 additions
and
5,252 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -5,57 +5,119 @@ on: | |
| branches: | ||
| - '[0-9]+.[0-9]+.[0-9]+' | ||
| - '[0-9]+.[0-9]+.[0-9]+-*' | ||
| - update_pages | ||
| - fix-github-workflow | ||
| - cd_update_pages | ||
|
|
||
| env: | ||
| GIT_USER_NAME: EMMO Developers | ||
| GIT_USER_EMAIL: "[email protected]" | ||
|
|
||
| jobs: | ||
|
|
||
| build: | ||
| runs-on: ubuntu-latest | ||
|
|
||
| steps: | ||
| - uses: actions/checkout@v4 | ||
| - name: Checkout repository | ||
| uses: actions/checkout@v4 | ||
|
|
||
| - name: Setup git identity | ||
| - name: Debug info | ||
| run: | | ||
| git config --global user.email "[email protected]" | ||
| git config --global user.name "EMMO GitHub Action" | ||
| echo "GITHUB_REF_NAME=${GITHUB_REF_NAME}" | ||
| - name: Setup Python 3.11 | ||
| uses: actions/setup-python@v5 | ||
| with: | ||
| python-version: 3.11 | ||
|
|
||
| - name: Debug info | ||
| - name: Install dependencies | ||
| run: | | ||
| echo "GITHUB_REF_NAME=${GITHUB_REF_NAME}" | ||
| pip install --upgrade pip | ||
| pip install sphinx sphinxcontrib-globalsubs sphinx_design nbsphinx pydata-sphinx-theme | ||
| pip install git+https://github.com/emmo-repo/EMMOntoPy.git@ontodoc2 | ||
| #pip install sphinx EMMOntoPy | ||
| - name: Install EMMO-python | ||
| - name: Create and prepare build and public directories | ||
| run: | | ||
| pip install --upgrade pip | ||
| pip install EMMOntoPy | ||
| mkdir build public | ||
| if [ -d doc/_static ]; then cp -rf doc/_static/* build/. ; fi | ||
| - name: Install pandoc 2.1.2 | ||
| - name: Create ontologies for publishing | ||
| run: | | ||
| #sudo apt-get install pandoc # we need v2.1.2 | ||
| wget https://github.com/jgm/pandoc/releases/download/2.1.2/pandoc-2.1.2-1-amd64.deb | ||
| sudo apt-get install ./pandoc-2.1.2-1-amd64.deb | ||
| ontoconvert -sawe --base-iri="https://w3id.org/emmo#" --iri=https://w3id.org/emmo emmo.ttl public/emmo.ttl | ||
| ontoconvert public/emmo.ttl public/emmo.owl | ||
| - name: Install other dependencies | ||
| - name: Generate html documentation | ||
| run: | | ||
| sudo apt-get install graphviz | ||
| sudo apt-get install texlive-xetex | ||
| sudo apt-get install texlive-latex-extra | ||
| pip install semver | ||
| ontodoc --iri-regex=https://w3id.org/emmo --imported emmo.ttl build/emmo.rst | ||
| sphinx-build "build/" "public/" | ||
| - name: Checkout GitHub Pages for EMMO-repo | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| repository: emmo-repo/emmo-repo.github.io | ||
| path: ".github/pages" | ||
| path: pages | ||
| ssh-key: ${{ secrets.SSH_PRIVATE_KEY }} | ||
| ssh-strict: no | ||
|
|
||
| - name: Update GitHub Pages | ||
| - name: Copy to GitHub Pages | ||
| run: | | ||
| .github/scripts/update_pages.sh -v -V ${GITHUB_REF_NAME} | ||
| # Do not overwrite index.html | ||
| rm public/index.html | ||
| cp -rf public/* pages/. | ||
| # Tell GitHub that this site is not generated with jekyll | ||
| touch public/.nojekyll | ||
| # Domain repositories can use peaceiris/actions-gh-pages@v3. | ||
| # However, since EMMO for historical reasons uses a separate repo | ||
| # for its GitHub Pages, it is easier to use git directly. | ||
| - name: Push to GitHub Pages | ||
| run: | | ||
| cd pages | ||
| git config --global user.email "[email protected]" | ||
| git config --global user.name "EMMO Developer" | ||
| git add --all | ||
| if [ -n "$(git status --porcelain -uno)" ]; then \ | ||
| git commit -m 'Updated releasetable'; \ | ||
| git pull origin master; \ | ||
| git push origin master; \ | ||
| fi | ||
| #- name: Publish | ||
| # uses: peaceiris/actions-gh-pages@v3 | ||
| # if: github.ref == 'refs/heads/master' | ||
| # with: | ||
| # github_token: ${{ secrets.GITHUB_TOKEN }} | ||
| # publish_dir: ./public | ||
| # #keep_files: true | ||
| # #external_repository: emmo-repo emmo-repo.github.io | ||
| # | ||
| # #publish_branch: master | ||
| # #force_orphan: true | ||
|
|
||
|
|
||
|
|
||
| # - name: Install pandoc 2.1.2 | ||
| # run: | | ||
| # #sudo apt-get install pandoc # we need v2.1.2 | ||
| # wget https://github.com/jgm/pandoc/releases/download/2.1.2/pandoc-2.1.2-1-amd64.deb | ||
| # sudo apt-get install ./pandoc-2.1.2-1-amd64.deb | ||
| # | ||
| # - name: Install other dependencies | ||
| # run: | | ||
| # sudo apt-get install graphviz | ||
| # sudo apt-get install texlive-xetex | ||
| # sudo apt-get install texlive-latex-extra | ||
| # pip install semver | ||
| # | ||
| # - name: Checkout GitHub Pages for EMMO-repo | ||
| # uses: actions/checkout@v4 | ||
| # with: | ||
| # repository: emmo-repo/emmo-repo.github.io | ||
| # path: ".github/pages" | ||
| # ssh-key: ${{ secrets.SSH_PRIVATE_KEY }} | ||
| # ssh-strict: no | ||
| # | ||
| # - name: Update GitHub Pages | ||
| # run: | | ||
| # .github/scripts/update_pages.sh -v -V ${GITHUB_REF_NAME} | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.