Generate changelog / Extra iteration diagnosers (#2934)
* Added BeforeExtraIteration and AfterExtraIteration signals.
Refactored ThreadingDiagnoser and ExceptionDiagnoser to implement IInProcessDiagnoser using the new signals.
* Fixed tests.
* Reduce number of tests in default toolchain.
* Added AggressiveOptimizationOption to all methods called from Engine.RunExtraIteration.
* Remove unused DiagnoserResults.TotalOperations.
* Clarify iteration setup/cleanup timing in xml docs.
* R...
#370
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: generate-changelog | |
| run-name: Generate changelog / ${{ github.event.head_commit.message }} | |
| on: | |
| push: | |
| branches: | |
| - master | |
| workflow_dispatch: | |
| permissions: write-all | |
| jobs: | |
| generate: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v5 | |
| with: | |
| ref: master | |
| - name: Checkout changelog | |
| uses: actions/checkout@v5 | |
| with: | |
| ref: docs-changelog | |
| path: docs/_changelog | |
| - name: Fetch changelog | |
| run: ./build.cmd docs-fetch --depth 1 --preview | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Push changelog | |
| uses: JamesIves/github-pages-deploy-action@v4 | |
| with: | |
| branch: docs-changelog | |
| folder: docs/_changelog | |
| git-config-name: Andrey Akinshin | |
| git-config-email: [email protected] | |
| clean: true |