diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml index 477c56a2acf..5d1a2f1c4f6 100644 --- a/.github/workflows/build_doc.yml +++ b/.github/workflows/build_doc.yml @@ -52,11 +52,11 @@ jobs: sudo apt-get update && sudo apt-get install -y graphviz ssh bibtex2html sudo pip install lxml sudo pip install 'pyquery==1.4.1' # it seems to be the last py2 compatible version - wget --no-verbose -O doxygen_exe https://cgal.geometryfactory.com/~mgimeno/doxygen/build_1_8_13/bin/doxygen + wget --no-verbose -O doxygen_exe https://cgal.geometryfactory.com/~cgaltest/doxygen_1_8_13_patched/doxygen sudo mv doxygen_exe /usr/bin/doxygen sudo chmod +x /usr/bin/doxygen - git config --global user.email "maxime.gimeno@geometryfactory.com" - git config --global user.name "Maxime Gimeno" + git config --global user.email "cgal@geometryfactory.com" + git config --global user.name "cgaltest" - name: configure all if: steps.get_round.outputs.result != 'stop' diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index a28adb0c684..b1eff295243 100644 --- a/.github/workflows/checks.yml +++ b/.github/workflows/checks.yml @@ -16,12 +16,12 @@ jobs: sudo apt-get update && sudo apt-get install -y graphviz ssh bibtex2html sudo pip install lxml sudo pip install 'pyquery==1.4.1' # it seems to be the last py2 compatible version - wget --no-verbose -O doxygen_exe https://cgal.geometryfactory.com/~mgimeno/doxygen/build_1_8_13/bin/doxygen + wget --no-verbose -O doxygen_exe https://cgal.geometryfactory.com/~cgaltest/doxygen_1_8_13_patched/doxygen sudo mv doxygen_exe /usr/bin/doxygen sudo chmod +x /usr/bin/doxygen - git config --global user.email "maxime.gimeno@geometryfactory.com" - git config --global user.name "Maxime Gimeno" - + git config --global user.email "cgal@geometryfactory.com" + git config --global user.name "cgaltest" + - name: Run checks run: | zsh Scripts/developer_scripts/test_merge_of_branch HEAD diff --git a/.github/workflows/delete_doc.yml b/.github/workflows/delete_doc.yml index 38dbc242e31..e4c1f7775b8 100644 --- a/.github/workflows/delete_doc.yml +++ b/.github/workflows/delete_doc.yml @@ -13,8 +13,8 @@ jobs: - name: delete directory run: | set -x - git config --global user.email "maxime.gimeno@geometryfactory.com" - git config --global user.name "Maxime Gimeno" + git config --global user.email "cgal@geometryfactory.com" + git config --global user.name "cgaltest" git clone https://maxGimeno:${{ secrets.PUSH_TO_CGAL_GITHUB_IO_TOKEN }}@github.com/CGAL/cgal.github.io.git --depth=5 PR_NUMBER=$(python -c "import json; import os; y = json.load(open(os.environ['GITHUB_EVENT_PATH'])); print(y[\"number\"])") cd cgal.github.io/