|
95 | 95 | shell: bash |
96 | 96 | run: | |
97 | 97 | ./run-scoredirector.sh |
98 | | - echo "RANGE_START=$(jq '.[0].primaryMetric.scoreConfidence[0]' results/scoredirector/${{ github.event.inputs.baseline }}/results.json)" >> "$GITHUB_OUTPUT" |
99 | | - echo "RANGE_END=$(jq '.[0].primaryMetric.scoreConfidence[1]' results/scoredirector/${{ github.event.inputs.baseline }}/results.json)" >> "$GITHUB_OUTPUT" |
| 98 | + echo "RANGE_START=$(jq '.[0].primaryMetric.scoreConfidence[0]|round' results/scoredirector/${{ github.event.inputs.baseline }}/results.json)" >> "$GITHUB_OUTPUT" |
| 99 | + echo "RANGE_END=$(jq '.[0].primaryMetric.scoreConfidence[1]|round' results/scoredirector/${{ github.event.inputs.baseline }}/results.json)" >> "$GITHUB_OUTPUT" |
100 | 100 |
|
101 | 101 | - name: Phase 2 - Checkout timefold-solver |
102 | 102 | uses: actions/checkout@v4 |
@@ -147,8 +147,8 @@ jobs: |
147 | 147 | shell: bash |
148 | 148 | run: | |
149 | 149 | ./run-scoredirector.sh |
150 | | - echo "RANGE_START=$(jq '.[0].primaryMetric.scoreConfidence[0]' results/scoredirector/${{ github.event.inputs.branch }}/results.json)" >> "$GITHUB_OUTPUT" |
151 | | - echo "RANGE_END=$(jq '.[0].primaryMetric.scoreConfidence[1]' results/scoredirector/${{ github.event.inputs.branch }}/results.json)" >> "$GITHUB_OUTPUT" |
| 150 | + echo "RANGE_START=$(jq '.[0].primaryMetric.scoreConfidence[0]|round' results/scoredirector/${{ github.event.inputs.branch }}/results.json)" >> "$GITHUB_OUTPUT" |
| 151 | + echo "RANGE_END=$(jq '.[0].primaryMetric.scoreConfidence[1]|round' results/scoredirector/${{ github.event.inputs.branch }}/results.json)" >> "$GITHUB_OUTPUT" |
152 | 152 |
|
153 | 153 | - name: Phase 3 - Archive benchmark data |
154 | 154 | uses: actions/upload-artifact@v4 |
@@ -186,8 +186,8 @@ jobs: |
186 | 186 | |
187 | 187 | echo "| | **Ref** | **Min** | **Max** |" >> $GITHUB_STEP_SUMMARY |
188 | 188 | echo "|:-----:|:-----------:|:-----------:|:-----------:|" >> $GITHUB_STEP_SUMMARY |
189 | | - echo "| _Old_ | ${{ github.event.inputs.baseline }} | ${OLD_RANGE_START%.*} | ${OLD_RANGE_END%.*} |" >> $GITHUB_STEP_SUMMARY |
190 | | - echo "| _New_ | ${{ github.event.inputs.branch }} | ${NEW_RANGE_START%.*} | ${NEW_RANGE_END%.*} |" >> $GITHUB_STEP_SUMMARY |
| 189 | + echo "| _Old_ | ${{ github.event.inputs.baseline }} | ${OLD_RANGE_START} | ${OLD_RANGE_END} |" >> $GITHUB_STEP_SUMMARY |
| 190 | + echo "| _New_ | ${{ github.event.inputs.branch }} | ${NEW_RANGE_START} | ${NEW_RANGE_END} |" >> $GITHUB_STEP_SUMMARY |
191 | 191 | |
192 | 192 | if [ "$FAIL" = true ]; then |
193 | 193 | exit 1 |
|
0 commit comments