Disable stack trace by default.

lf-lang · Jul 18, 2022 · 74b4015 · 74b4015
1 parent aee4059
commit 74b4015
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/actions/run-benchmarks/action.yml b/.github/actions/run-benchmarks/action.yml
@@ -95,6 +95,7 @@ runs:
           target=lf-${{ inputs.target }} \
           size=fast \
           ++target.params.scheduler=${{ inputs.scheduler }} \
+          ++stacktrace=True \
           threads=${{ inputs.num-workers }} \
           | tee >(grep "\[ERROR\]" >> ${{ inputs.errors-file }})
         echo "::set-output name=output-file::$EXISTING_FILE"