diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-18 23:39:51 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-18 23:40:46 +0200 |
| commit | 95a465fa9f04c630e112ada456767df0cf7d34dc (patch) | |
| tree | 6701843e9ef4349fad6103e597713046bf128482 /.github/workflows | |
| parent | test: store multiple flame graphs alongside (diff) | |
| download | cimple-95a465fa9f04c630e112ada456767df0cf7d34dc.tar.gz cimple-95a465fa9f04c630e112ada456767df0cf7d34dc.zip | |
workflows/ci: publish stuff to gh-pages
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 731d81c..be9cd45 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -64,6 +64,12 @@ jobs: name: coverage path: ./build/coverage/ if-no-files-found: error + - name: Publish to GitHub Pages + uses: JamesIves/github-pages-deploy-action@v4 + with: + folder: ./build/coverage/ + target-folder: coverage + if: github.ref == 'refs/heads/master' flame_graphs: runs-on: ubuntu-latest @@ -81,7 +87,7 @@ jobs: echo ~/FlameGraph >> "$GITHUB_PATH" - name: Build run: make install - - name: Generate flame graphs + - name: Generate graphs run: sudo --preserve-env=PATH make test/perf - name: Upload graphs uses: actions/upload-artifact@v3 @@ -89,6 +95,12 @@ jobs: name: flame_graphs path: ./build/flame_graphs/ if-no-files-found: error + - name: Publish to GitHub Pages + uses: JamesIves/github-pages-deploy-action@v4 + with: + folder: ./build/flame_graphs/ + target-folder: flame_graphs + if: github.ref == 'refs/heads/master' publish: needs: [lint, build, coverage] |