Skip to content

Commit

Permalink
Update essence-feature-stats.yml
Browse files Browse the repository at this point in the history
Working on CI - WIP
  • Loading branch information
gskorokhod authored Nov 2, 2023
1 parent 9ca0372 commit 79c9abf
Showing 1 changed file with 24 additions and 36 deletions.
60 changes: 24 additions & 36 deletions .github/workflows/essence-feature-stats.yml
Original file line number Diff line number Diff line change
@@ -1,19 +1,22 @@
name: "tools/essence-feature-stats"
name: "tools/essence-feature-stats - Deploy to Github Pages"

on:
push
push:
branches:
- main

env:
ESSENCE_DIR: "./EssenceCatalog"
CONJURE_DIR: "./conjure"
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:
Expand All @@ -25,6 +28,9 @@
matrix:
python-version: ["3.11"]

permissions:
contents: write

steps:
- name: Checkout code
uses: actions/checkout@v4
Expand All @@ -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 🚀


0 comments on commit 79c9abf

Please sign in to comment.