Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Develop #158

Merged
merged 2 commits into from
Jan 20, 2025
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 10 additions & 10 deletions .github/workflows/demo_weekly.yml
Original file line number Diff line number Diff line change
Expand Up @@ -98,7 +98,7 @@ jobs:
python-version: ${{ matrix.python-version }}
- name: Install APT packages
run: |
sudo apt -qq install -y python3-pip python3-venv cmake make ninja-build python3-pandas
sudo apt -qq install -y python3-pip python3-venv cmake make ninja-build python3-pandas
- name: Initialize Virtualenv
run: |
python -m pip install --upgrade pip
Expand Down Expand Up @@ -130,7 +130,7 @@ jobs:
- name: Run the demo
run: |
source .venv/bin/activate
VERBOSE=${{ matrix.verbose }} PROGRESS=${{ matrix.progress }} LLVM_REF=${{ matrix.llvm-ref }} CCACHE=${{ matrix.ccache }} CLONE_DEPTH=${{ matrix.clone_depth }} BUILD_CONFIG=${{ matrix.build_config }} IGNORE_ERROR=${{ matrix.ignore_error }} TEST=${{ matrix.test }} INSTALL=${{ matrix.install }} DEPLOY=${{ matrix.deploy }} EXPORT=${{ matrix.export }} DEST=/tmp/seal5_llvm ${{ steps.ctx.outputs.program }} examples/${{ matrix.script }}
VERBOSE=${{ matrix.verbose }} PROGRESS=${{ matrix.progress }} SEAL5_NUM_THREADS=1 LLVM_REF=${{ matrix.llvm-ref }} CCACHE=${{ matrix.ccache }} CLONE_DEPTH=${{ matrix.clone_depth }} BUILD_CONFIG=${{ matrix.build_config }} IGNORE_ERROR=${{ matrix.ignore_error }} TEST=${{ matrix.test }} INSTALL=${{ matrix.install }} DEPLOY=${{ matrix.deploy }} EXPORT=${{ matrix.export }} DEST=/tmp/seal5_llvm ${{ steps.ctx.outputs.program }} examples/${{ matrix.script }}
- name: Generate Reports
run: |
source .venv/bin/activate
Expand Down Expand Up @@ -190,25 +190,25 @@ jobs:
- name: Upload Seal5 Reports
uses: actions/upload-artifact@v4
with:
name: demo-${{ steps.ctx.outputs.name }}-reports
name: demo-${{ steps.ctx.outputs.name }}-${{ matrix.llvm-ref }}-reports
path: reports/
- name: Upload Seal5 Metadata
uses: actions/upload-artifact@v4
if: "${{ matrix.export == '1' }}"
with:
name: demo-${{ steps.ctx.outputs.name }}-export
name: demo-${{ steps.ctx.outputs.name }}-${{ matrix.llvm-ref }}-export
path: /tmp/seal5_llvm.tar.gz
- name: Upload Seal5 LLVM Installation
uses: actions/upload-artifact@v4
if: "${{ matrix.install == '1' }}"
with:
name: demo-${{ steps.ctx.outputs.name }}-install
name: demo-${{ steps.ctx.outputs.name }}-${{ matrix.llvm-ref }}-install
path: /tmp/seal5_llvm/.seal5/install/${{ matrix.build_config }}
- name: Upload Seal5 LLVM Sources Grouped_stat_prop_result_all.md
uses: actions/upload-artifact@v4
if: "${{ matrix.deploy == '1' }}"
with:
name: demo-${{ steps.ctx.outputs.name }}-source
name: demo-${{ steps.ctx.outputs.name }}-${{ matrix.llvm-ref }}-source
path: /tmp/seal5_llvm_source.zip
- name: Aggregate and Publish Test Results
run: |
Expand All @@ -218,7 +218,7 @@ jobs:
echo "### Summarized and Compact Pass/Test Results" >> $GITHUB_STEP_SUMMARY
echo >> $GITHUB_STEP_SUMMARY
cat Grouped_stat_prop_result_test_wo_instr.html >> $GITHUB_STEP_SUMMARY
echo >> $GITHUB_STEP_SUMMARY
echo >> $GITHUB_STEP_SUMMARY
echo "### Summarized and Compact Test Coverage Results" >> $GITHUB_STEP_SUMMARY
echo >> $GITHUB_STEP_SUMMARY
cat Grouped_stat_prop_result_cv_wo_instr.html >> $GITHUB_STEP_SUMMARY
Expand All @@ -228,7 +228,7 @@ jobs:
#echo >> $GITHUB_STEP_SUMMARY
#cat Grouped_stat_prop_result_test.html >> $GITHUB_STEP_SUMMARY
#echo >> $GITHUB_STEP_SUMMARY

#echo "### Summarized Test Coverage Results" >> $GITHUB_STEP_SUMMARY
#echo >> $GITHUB_STEP_SUMMARY
#cat Grouped_stat_prop_result_cv.html >> $GITHUB_STEP_SUMMARY
Expand All @@ -243,11 +243,11 @@ jobs:
uses: actions/upload-artifact@v4
if: "${{ matrix.deploy == '1' }}"
with:
name: demo-${{ steps.ctx.outputs.name }}-aggregated-test-results
name: demo-${{ steps.ctx.outputs.name }}-${{ matrix.llvm-ref }}-aggregated-test-results
path: |
Grouped_stat_prop_result_all.html
Grouped_stat_prop_result_cv.html
Grouped_stat_prop_result_cv_wo_instr.html
Grouped_stat_prop_result_test.html
Grouped_stat_prop_result_test_wo_instr.html

Loading