-
Notifications
You must be signed in to change notification settings - Fork 1
57 lines (55 loc) · 2.02 KB
/
ci.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
name: Kenning bare-metal IREE runtime tests
on:
push:
branches: [main]
pull_request:
branches: [main]
jobs:
cancel-previous-job:
runs-on: ubuntu-latest
steps:
- name: Cancel previous
uses: styfle/[email protected]
with:
access_token: ${{ github.token }}
readme-tests:
runs-on: ubuntu-latest
container:
image: debian:bullseye
steps:
- name: Install tuttest dependencies
run: |
apt-get update -qqy
apt-get install -qqy --no-install-recommends python3 python3-pip git git-lfs colorized-logs sudo
pip3 install git+https://github.com/antmicro/tuttest.git
- name: Checkout sources
uses: actions/checkout@v4
with:
lfs: true
- name: Update submodules
run: |
git config --global --add safe.directory $(pwd)
./build_tools/configure_git_url_rewrite.sh
git submodule update --init --recursive
- 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
cp report.html index.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