Delete .github/workflow directory

This commit is contained in:
CaCO3
2023-01-02 22:55:49 +01:00
committed by GitHub
parent b3bac27530
commit d858716077

View File

@@ -1,28 +0,0 @@
name: Build and Pack
on: [push, pull_request]
jobs:
#########################################################################################
## Build the documentation using mkdoc
## It will be pushed to the gh-pages branch
#########################################################################################
build-documentation:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v2
with:
fetch-depth: 0
- uses: actions/setup-python@v2
- run: |
pip install --upgrade pip && pip install mkdocs mkdocs-gen-files mkdocs-awesome-pages-plugin
git config user.name 'github-actions[bot]'
git config user.email 'github-actions[bot]@users.noreply.github.com'
- name: Publish docs
run: |
cd docs
mkdocs gh-deploy