Skip to content

[#51982] frontend: components: Terminal: Scroll back to top after cle… #26

[#51982] frontend: components: Terminal: Scroll back to top after cle…

[#51982] frontend: components: Terminal: Scroll back to top after cle… #26

Workflow file for this run

name: CI
on:
push:
branches: [main]
pull_request:
branches: [main]
jobs:
BackendLinting:
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Setup Python
uses: actions/setup-python@v4
with:
python-version: 3.11
- name: Install dependencies
run: pip install -e .
- name: Install flake8
run: pip install -U flake8
- name: Run flake8
run: flake8 pipeline_manager
FrontendLinting:
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Setup npm
uses: actions/setup-node@v3
with:
node-version: 20
- name: Lint frontend
run: |
cd pipeline_manager/frontend
npm install
npm run lint
test $(git status --porcelain | wc -l) -eq 0 || { git diff; false; }
BuildServerApp:
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Setup npm
uses: actions/setup-node@v3
with:
node-version: 20
- name: Setup Python
uses: actions/setup-python@v4
with:
python-version: 3.11
- name: Install dependencies
run: pip install -e .
- name: Build server-app
run: ./build server-app
DeployDocs:
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Setup npm
uses: actions/setup-node@v3
with:
node-version: 20
- name: Setup Python
uses: actions/setup-python@v4
with:
python-version: 3.11
- name: Install dependencies
run: pip install -e ".[docs]"
- name: Build docs and static demo
run: |
cd docs
make html
make linkcheck
- uses: actions/upload-artifact@v3
with:
name: gh-page
path: docs/build/html
- name: Deploy to Github Pages
if: github.event_name == 'push'
run: |
cd docs/build/html
touch .nojekyll
git init
cp ../../../.git/config ./.git/config
git add .
git config --local user.email "push@gha"
git config --local user.name "GHA"
git commit -am "update ${{ github.sha }}"
git push -u origin +HEAD:gh-pages
rm -rf .git