szerdick/add taylor expansion #729
This file contains hidden or 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: Show pretty table | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| jobs: | |
| run-experiments: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/opencompl/snitch-toolchain:7.0.0 | |
| options: --volume ${{ github.workspace }}:/src | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Sync dependencies | |
| run: /entrypoint.sh true | |
| - name: Clean and make pivoted | |
| run: | | |
| cp results/pivoted.csv results/pivoted_old.csv.txt | |
| make clean | |
| make | |
| - name: Check pivoted has not changed | |
| run: | | |
| cd /src/ | |
| ./scripts/nodiff.sh results/pivoted.csv results/pivoted_old.csv.txt | |
| - name: Read Cycles CSV | |
| id: cycles-csv | |
| uses: juliangruber/read-file-action@v1.1.6 | |
| with: | |
| path: results/pivoted.csv | |
| # - name: Create MD | |
| # uses: petems/csv-to-md-table-action@master | |
| # id: cycles-csv-table-output | |
| # with: | |
| # csvinput: ${{ steps.cycles-csv.outputs.content }} | |
| - uses: mshick/add-pr-comment@v1 | |
| with: | |
| message: | | |
| ${{steps.cycles-csv.outputs.content}} | |
| repo-token: ${{ secrets.GITHUB_TOKEN }} | |
| repo-token-user-login: "github-actions[bot]" # The user.login for temporary GitHub tokens | |
| allow-repeats: true | |
| - name: Read FPU CSV | |
| id: fpu-csv | |
| uses: juliangruber/read-file-action@v1.1.6 | |
| with: | |
| path: results/pivoted_fpu.csv | |
| # - name: Create MD | |
| # uses: petems/csv-to-md-table-action@master | |
| # id: fpu-csv-table-output | |
| # with: | |
| # csvinput: ${{ steps.fpu-csv.outputs.content }} | |
| - uses: mshick/add-pr-comment@v1 | |
| with: | |
| message: | | |
| ${{steps.fpu-csv.outputs.content}} | |
| repo-token: ${{ secrets.GITHUB_TOKEN }} | |
| repo-token-user-login: "github-actions[bot]" # The user.login for temporary GitHub tokens | |
| allow-repeats: true |