Merge pull request #75 from niklasdewally/issue/68 #51
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: "tools/essence-feature-stats - Deploy to Github Pages" | |
| on: | |
| push: | |
| branches: | |
| - main # run for pushes to the main branch | |
| workflow_dispatch: | |
| pull_request: | |
| paths: | |
| - tools/essence-feature-usage-stats/** | |
| env: | |
| ESSENCE_DIR: "./EssenceRepos" | |
| CONJURE_DIR: "./conjure" | |
| CONJURE_REPO: "https://github.com/conjure-cp/conjure" | |
| EXCLUDE_PATHS_REGEX: ".*autogen.*" | |
| OUTPUT_PATH: "./web/static/index.html" | |
| MAX_N_FILES: 5000 | |
| ESSENCE_FILE_REPOS: > | |
| https://github.com/conjure-cp/EssenceCatalog::master, | |
| https://github.com/conjure-cp/conjure::main" | |
| 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,Op | |
| jobs: | |
| build: | |
| name: "tools/essence-feature-stats: Build the tool and clone EssenceCatalog repo" | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| python-version: ["3.11"] | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Install Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| - name: Install python dependencies | |
| run: pip install -r requirements.txt | |
| working-directory: ./tools/essence-feature-usage-stats | |
| - name: Run main.py to generate the table | |
| run: python main.py | |
| working-directory: ./tools/essence-feature-usage-stats | |
| - name: Fix file permissions | |
| run: chmod -v -R +rwx ./web/static/ | |
| working-directory: ./tools/essence-feature-usage-stats | |
| - name: Add the .nojekyll file | |
| run: touch ./web/static/.nojekyll | |
| working-directory: ./tools/essence-feature-usage-stats | |
| - name: Deploy to GitHub Pages | |
| if: github.event_name == 'push' # Run this step only on push events | |
| uses: JamesIves/github-pages-deploy-action@v4.4.3 | |
| with: | |
| branch: gh-pages | |
| folder: ./tools/essence-feature-usage-stats/web/static | |
| target-folder: tools/essence-feature-usage-stats | |
| commit-message: "Actions: Deploy the essence features usage table 🚀" | |