added checkbox to disable example loader directly in dialog (#3424) #10
This file contains 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: Update Symbex Oracles | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: [ "main" ] | |
| permissions: | |
| contents: write | |
| issues: write | |
| pull-requests: write | |
| id-token: write | |
| jobs: | |
| optional-tests: | |
| runs-on: ubuntu-latest | |
| continue-on-error: true | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Set up JDK 21 | |
| uses: actions/setup-java@v3 | |
| with: | |
| java-version: '21' | |
| distribution: 'corretto' | |
| cache: 'gradle' | |
| - name: Build with Gradle | |
| uses: gradle/gradle-build-action@v2 | |
| with: | |
| arguments: --continue -D UPDATE_TEST_ORACLE=true -D ORACLE_DIRECTORY=key.core.symbolic_execution/src/test/resources/testcase :key.core.symbolic_execution:test | |
| - name: Make new branch | |
| uses: EndBug/add-and-commit@v9 | |
| with: | |
| add: 'key.core.symbolic_execution/src/test/resources/testcase' | |
| author_name: Kiki | |
| author_email: [email protected] | |
| default_author: github_actions | |
| message: 'Auto-Commit: update of the symbex oracle' | |
| pull: '--rebase --autostash' | |
| new_branch: update_oracle_${GITHUB_RUN_ID}_${GITHUB_RUN_NUMBER} | |
| - name: Create Pull-Request | |
| run: gh pr create --title "Update of the symbex oracle" --body "This is an automated Pull Request" -a "unp1" -B "main" -l "automatic" -H update_oracle_${GITHUB_RUN_ID}_${GITHUB_RUN_NUMBER} |