Skip to content

Commit

Permalink
Add Docs Building & Pushing action
Browse files Browse the repository at this point in the history
  • Loading branch information
romanin-rf committed Dec 18, 2023
1 parent ec0bb24 commit d112efc
Show file tree
Hide file tree
Showing 2 changed files with 43 additions and 1 deletion.
43 changes: 43 additions & 0 deletions .github/workflows/docs-publing.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
name: Docs Building & Pushing
on:
push:
branches: [ "docs-source" ]
pull_request:
branches: [ "docs-source" ]
permissions:
contents: write
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
token: ${{secrets.GITHUB_TOKEN}}
submodules: true
- name: Set up Python 3.9
uses: actions/setup-python@v3
with:
python-version: "3.9"
- name: Install dependencies
run: |
python -m pip install -U pip
if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
- name: Settings for git
run: |
git config --global user.name "Romanin";
git config --global user.email "[email protected]";
- name: Clone `docs`
run: |
git clone -b docs https://github.com/romanin-rf/SeaPlayer.git site;
- name: Clearing `docs`
run: |
python clearing.py
- name: Building `docs`
run: |
mkdocs build
- name: Pushing `docs`
run: |
cd site;
git commit -a -m "Update docs";
git push origin HEAD:docs;
cd ..;
1 change: 0 additions & 1 deletion docs/index.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
# Welcome to SeaPlayer

## Description
SeaPlayer is a player that works in the terminal.

Expand Down

0 comments on commit d112efc

Please sign in to comment.