Skip to content

ssh: Add ProxyJump

ssh: Add ProxyJump #24

Workflow file for this run

name: build
on:
push:
branches:
- "*"
pull_request:
branches:
- "*"
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: "3.11"
- name: Install dependencies
run: |
pip3 install -r requirements.txt
- uses: DavidAnson/markdownlint-cli2-action@v15
continue-on-error: true
with:
fix: true
globs: |
docs/**/*.md
README.md
- uses: DavidAnson/markdownlint-cli2-action@v15
continue-on-error: true
with:
fix: true
globs: |
docs/**/*.md
README.md
- name: Determine if a PR should be submitted
if: github.ref == 'refs/heads/master'
id: file_changes
run: |
git add -A
if git diff-index --quiet --cached HEAD --; then
echo "should_submit=false" >> "$GITHUB_OUTPUT"
else
echo "should_submit=true" >> "$GITHUB_OUTPUT"
fi
- name: Submit PR if mdl changes files
if: false
#if: steps.file_changes.outputs.should_submit == 'true' && github.ref == 'refs/heads/master'
uses: peter-evans/create-pull-request@v6
with:
commit-message: "MarkdownLint auto fix from GitHub Actions run ${{ github.run_number }}"
assignees: "${{ github.actor }}"
branch: mdl-auto-fix
delete-branch: true
title: "Fix MarkdownLint formatting from GitHub Actions run ${{ github.run_number }}"
body: |
Attempt to automatically fix MarkdownLint formatting issues in ${{ github.sha }}.
This PR is generated by GitHub Actions [run ${{ github.run_number }}](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}). Please choose **Squash and Merge** for this PR.
- name: Build docs
run: |
mkdocs -v build
: > site/.nojekyll
echo -n '201.ustclug.org' > site/CNAME
- name: Deploy to GitHub Pages
if: github.ref == 'refs/heads/master'
run: |
CINFO="$(git log -1 --pretty="%an: [%h] %s")"
git clone --depth=1 --branch=gh-pages --single-branch --no-checkout \
"https://${GITHUB_ACTOR}:${{ secrets.GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.git" test
mv test/.git site/.git && rmdir test/
pushd site/ &>/dev/null
git add -A
git -c user.name=GitHub -c [email protected] commit \
-m "Auto deploy from GitHub Actions build ${GITHUB_RUN_NUMBER}" \
-m "$CINFO"
git push
popd &>/dev/null