From 79c9abf2579c1324635d3c91db417aee7f2f2d0f Mon Sep 17 00:00:00 2001 From: Georgii Skorokhod <64529579+gskorokhod@users.noreply.github.com> Date: Thu, 2 Nov 2023 10:46:40 +0000 Subject: [PATCH] Update essence-feature-stats.yml Working on CI - WIP --- .github/workflows/essence-feature-stats.yml | 60 +++++++++------------ 1 file changed, 24 insertions(+), 36 deletions(-) diff --git a/.github/workflows/essence-feature-stats.yml b/.github/workflows/essence-feature-stats.yml index 73745266a1..5b95db1ecc 100644 --- a/.github/workflows/essence-feature-stats.yml +++ b/.github/workflows/essence-feature-stats.yml @@ -1,7 +1,9 @@ - name: "tools/essence-feature-stats" + name: "tools/essence-feature-stats - Deploy to Github Pages" on: - push + push: + branches: + - main env: ESSENCE_DIR: "./EssenceCatalog" @@ -9,11 +11,12 @@ ESSENCE_EXAMPLES_REPO: "https://github.com/conjure-cp/EssenceCatalog.git" CONJURE_REPO: "https://github.com/conjure-cp/conjure" OUTPUT_PATH: "./web/static/index.html" - KEYWORD_BLOCKLIST: "mInfo,finds,givens,enumGivens,enumLettings,lettings, - unnameds,strategyQ,Auto,Interactive,strategyA,trailCompact, - nameGenState,nbExtraGivens,representations,representationsTree, - originalDomains,trailGeneralised,trailVerbose,trailRewrites, - mLanguage,language,version,mStatements,Name,Declaration" + KEYWORD_BLOCKLIST: > + mInfo,finds,givens,enumGivens,enumLettings,lettings, + unnameds,strategyQ,Auto,Interactive,strategyA,trailCompact, + nameGenState,nbExtraGivens,representations,representationsTree, + originalDomains,trailGeneralised,trailVerbose,trailRewrites, + mLanguage,language,version,mStatements,Name,Declaration jobs: build: @@ -25,6 +28,9 @@ matrix: python-version: ["3.11"] + permissions: + contents: write + steps: - name: Checkout code uses: actions/checkout@v4 @@ -43,35 +49,17 @@ working-directory: ./tools/essence-feature-usage-stats - name: Fix file permissions - run: chmod -v -R +rwx ./web/static + run: chmod -v -R +rwx ./web/static/ working-directory: ./tools/essence-feature-usage-stats - - - name: Configure GitHub Pages - uses: actions/configure-pages@v3 - - - name: Upload Tar Archive as a GitHub Pages artifact - uses: actions/upload-pages-artifact@v2 - with: - name: github-pages - path: ./tools/essence-feature-usage-stats/web/static - - deploy: - name: "tools/essence-feature-stats: Deploy the generated page" - runs-on: ubuntu-latest - needs: build - - permissions: - contents: read - pages: write - id-token: write - - environment: - name: github-pages - url: ${{steps.deployment.outputs.page_url}} - - steps: + - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v2 + uses: JamesIves/github-pages-deploy-action@v4.4.3 + working-directory: ./tools/essence-feature-usage-stats with: - artifact_name: github-pages + branch: gh-pages + folder: ./web/static + ssh-key: ${{ secrets.DEPLOY_KEY }} + target-folder: tools/essence-feature-usage-stats + commit-message: Actions: Deploy the essence features usage table 🚀 + +