Skip to content

Instantiable Text and TextArray objects (#2722) #27

Instantiable Text and TextArray objects (#2722)

Instantiable Text and TextArray objects (#2722) #27

Workflow file for this run

# SuperTux
# Copyright (C) 2023 Vankata453
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
# as published by the Free Software Foundation; either version 3
# of the License, or (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
name: Scripting
on:
push:
branches: [ "master" ]
paths:
- src/scripting/*.hpp
workflow_dispatch:
jobs:
scripting-update:
runs-on: ubuntu-latest
steps:
- name: Checkout the repository
uses: actions/checkout@v3
with:
fetch-depth: 1
- name: Checkout the wiki repository
uses: actions/checkout@v3
with:
repository: SuperTux/wiki
path: wiki
fetch-depth: 1
- name: Install packages
run: |
sudo apt-get update
sudo apt-get install -y \
cmake \
build-essential \
g++-9 \
libc++-dev \
libtinyxml2-dev \
doxygen
- name: Build scripting reference generator
working-directory: tools/scripting_docs_gen
run: |
cmake --version
mkdir build
cd build
cmake .. -DBUILD_SCRIPTING_DOCUMENTATION=ON
make
- name: Generate scripting reference
working-directory: tools/scripting_docs_gen/build
run: |
doxygen docs/scripting/Doxyfile
rm ../../../wiki/Scripting*.md
./ScriptingDocsGen --dir docs/scripting/doxygen/xml \
--home ../../../wiki/templates/ScriptingHome.md \
--page ../../../wiki/templates/ScriptingPage.md \
--output ../../../wiki
- name: Install SSH key
uses: shimataro/ssh-key-action@v2
with:
key: ${{ secrets.wiki_repo_key }}
known_hosts: ${{ secrets.wiki_repo_hosts }}
- name: Push changes to wiki
working-directory: wiki
run: |
git --version
git status
git config --global user.email "supertux-bot"
git config --global user.name "SuperTux Bot"
git add .
git commit -m "Update scripting reference (SuperTux/supertux@${{ github.sha }})"
git push [email protected]:SuperTux/wiki.git HEAD:master