Skip to content

infra/office: Update group management from G to M365 #476

infra/office: Update group management from G to M365

infra/office: Update group management from G to M365 #476

Workflow file for this run

name: build
on: push
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Install dependencies
run: pip3 install -Ur requirements.txt
- name: Build docs
run: mkdocs -v build
- name: Deploy to GitHub Pages
if: "github.repository == 'ustclug/documentations' && github.ref == 'refs/heads/master'"
run: |
CINFO="$(git log -1 --pretty="[%h] %an: %s")"
cd site
git init --quiet
echo -n "docs.ustclug.org" > CNAME
: > .nojekyll
git remote add origin https://${GITHUB_ACTOR}:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY.git
git fetch --depth=1 origin gh-pages
git reset --soft FETCH_HEAD
git add --all
git -c user.name=GitHub -c [email protected] commit \
-m "Auto deploy from GitHub Actions build ${GITHUB_RUN_NUMBER}" \
-m "$CINFO" \
--allow-empty
git push origin +HEAD:gh-pages