Merge branch 'master' into qqy/max_min_sol

Author: ErikQQY

.github/workflows/BenchmarkPR.yml

@@ -51,12 +51,15 @@ jobs:
       - name: Create markdown table from benchmarks
         run: |
           benchpkgtable ${{ steps.extract-package-name.outputs.package_name }} --rev="${{github.event.repository.default_branch}},${{github.event.pull_request.head.sha}}" --input-dir=results/ --ratio > table.md
+          echo '<details>' > body.md
+          echo '<summary>Click to check benchmark results</summary>' >> body.md
           echo '### Benchmark Results' > body.md
           echo '' >> body.md
           echo '' >> body.md
           cat table.md >> body.md
           echo '' >> body.md
           echo '' >> body.md
+          echo '</details>' >> body.md
           echo '### Benchmark Plots' >> body.md
           echo 'A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR.' >> body.md
           echo 'Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).' >> body.md