summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/coverage.yaml45
1 files changed, 45 insertions, 0 deletions
diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml
new file mode 100644
index 0000000..94887f9
--- /dev/null
+++ b/.github/workflows/coverage.yaml
@@ -0,0 +1,45 @@
1name: Deploy static content to Pages
2
3on:
4 push:
5 branches: ["master"]
6
7 workflow_dispatch:
8
9permissions:
10 contents: read
11 pages: write
12 id-token: write
13
14concurrency:
15 group: "pages"
16 cancel-in-progress: true
17
18jobs:
19 deploy:
20 environment:
21 name: github-pages
22 url: ${{ steps.deployment.outputs.page_url }}
23 runs-on: ubuntu-latest
24 steps:
25 - name: Checking out the code
26 uses: actions/checkout@v3
27 - name: Downloading musl-based toolchain
28 run: wget https://musl.cc/x86_64-linux-musl-native.tgz
29 - name: Extracting musl-based toolchain
30 run: tar xzf ./x86_64-linux-musl-native.tgz
31 - name: Installing lcov
32 run: sudo apt install lcov
33 - name: Running the testsuite
34 run: make -C tests clean coverage
35 - name: Setup Pages
36 uses: actions/configure-pages@v3
37 - name: Upload artifact
38 uses: actions/upload-pages-artifact@v1
39 with:
40 # Upload entire repository
41 path: './tests/coverage/'
42 - name: Deploy to GitHub Pages
43 id: deployment
44 uses: actions/deploy-pages@v2
45