index.html is not being created #160

[Cevedale]

think that your GitHub Actions workflow aims to run benchmarks and update a GitHub Pages branch (gh-pages). However, there is no explicit step for generating an index.html file or updating the content of the gh-pages branch. To address this, you should include a step to generate the index.html file based on your benchmark results, and then add a separate step to update the gh-pages branch with the new content. Make sure to customize these steps according to your project structure, and ensure that the necessary files are staged for commit. Additionally, verify that your repository has a gh-pages branch created, and GitHub Pages is configured to use this branch for rendering content.

[Cevedale]

name: Update gh-pages branch
run: |
git fetch
git checkout gh-pages
git config --global user.name "eran-test-user"
git config --global user.email "username@users.noreply.github.com"

git add index.html
git commit -m "${{ github.run_number }}-${{ github.run_attempt }}"
git push 'https://eranreshef-starkware:${{ secrets.GITHUB_TOKEN }}@github.com/eranreshef-starkware/test-benchmark.git' gh-pages:gh-pages

[ktrz]

Hi @Cevedale

This action will generate the index.html if it doesn't exist as specified in the README
Could you please specify what is not working for you?