Skip to content

[#51921] .github: workflows: ci: Fix docs deploy #28

[#51921] .github: workflows: ci: Fix docs deploy

[#51921] .github: workflows: ci: Fix docs deploy #28

Workflow file for this run

name: Kenning bare-metal IREE runtime tests
on:
push:
branches: [main]
pull_request:
branches: [main]
jobs:
readme-tests:
runs-on: ubuntu-latest
steps:
- name: Cancel previous
uses: styfle/[email protected]
with:
access_token: ${{ github.token }}
- name: Checkout sources
uses: actions/checkout@v3
with:
submodules: 'recursive'
lfs: true
- name: Install tuttest dependencies
run: |
sudo apt-get update -qqy
sudo apt-get install -qqy --no-install-recommends python3 python3-pip git colorized-logs
sudo pip3 install git+https://github.com/antmicro/tuttest.git
- name: Run README.md snippets
run: |
./.github/scripts/readme-tests.sh
- name: Upload artifacts
uses: actions/upload-artifact@v3
with:
name: gh-page
path: report-html
- name: Deploy to Github Pages
if: github.ref == 'refs/heads/main' && github.event_name != 'pull_request'
run: |
cd report-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