Skip to content

Commit

Permalink
Working on CI - WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
gskorokhod committed Nov 1, 2023
1 parent 9a14b34 commit 6e25867
Showing 1 changed file with 2 additions and 11 deletions.
13 changes: 2 additions & 11 deletions .github/workflows/essence-feature-stats.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,8 @@
CONJURE_DIR: "~/essence-feature-stats/conjure"
ESSENCE_EXAMPLES_REPO: "https://github.com/conjure-cp/EssenceCatalog.git"
CONJURE_REPO: "https://github.com/conjure-cp/conjure"
GITHUB_PAGE_DIR: "~/essence-feature-stats/page"
OUTPUT_PATH: "~/essence-feature-stats/page/static/table.html"
ARCHIVE_PATH: "~/essence-feature-stats/archive.tar.gz"
OUTPUT_PATH: "./web/static/index.html"
KEYWORD_BLOCKLIST: "mInfo,finds,givens,enumGivens,enumLettings,lettings,
unnameds,strategyQ,Auto,Interactive,strategyA,trailCompact,
nameGenState,nbExtraGivens,representations,representationsTree,
Expand Down Expand Up @@ -40,20 +39,12 @@
run: pip install -r requirements.txt
working-directory: ./tools/essence-feature-usage-stats

- name: Copy static files to the GitHub Page directory
run: mkdir -p ${{ env.GITHUB_PAGE_DIR }} && cp -r ./web/static ${{ env.GITHUB_PAGE_DIR }}/
working-directory: ./tools/essence-feature-usage-stats

- name: Verify that the correct files were copied
run: diff <(ls ./web/static) <(ls ${{ env.GITHUB_PAGE_DIR }}/static)
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: Compress the GitHub Page directory into a tar archive
run: tar -czvf ${{ env.ARCHIVE_PATH }} ${{ env.GITHUB_PAGE_DIR }}/*
run: tar -czvf ${{ env.ARCHIVE_PATH }} ./web/static/*
working-directory: ./tools/essence-feature-usage-stats

- name: Upload Tar Archive as a GitHub Pages artifact
Expand Down

0 comments on commit 6e25867

Please sign in to comment.