Simplify backend by switching to pydantic for config loading #34
Workflow file for this run
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: "CLA Assistant" | |
| on: | |
| issue_comment: | |
| types: [created] | |
| pull_request_target: | |
| types: [opened,closed,synchronize] | |
| # explicitly configure permissions, in case your GITHUB_TOKEN workflow permissions are set to read-only in repository settings | |
| permissions: | |
| actions: write | |
| contents: write # this can be 'read' if the signatures are in remote repository | |
| pull-requests: write | |
| statuses: write | |
| jobs: | |
| CLAAssistant: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: "CLA Assistant" | |
| if: (github.event.comment.body == 'recheck' || github.event.comment.body == 'I accept and agree to the terms and conditions of the Contributor License Agreement for my present and future contributions submitted to ESBMC-AI.') || github.event_name == 'pull_request_target' | |
| uses: contributor-assistant/github-action@v2.6.1 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| # the below token should have repo scope and must be manually added by you in the repository's secret | |
| # This token is required only if you have configured to store the signatures in a remote repository/organization | |
| # PERSONAL_ACCESS_TOKEN: ${{ secrets.PERSONAL_ACCESS_TOKEN }} | |
| with: | |
| path-to-signatures: 'signatures/v1/cla.json' | |
| path-to-document: 'https://github.com/esbmc/esbmc-ai/blob/master/CLA.md' | |
| # branch should not be protected | |
| branch: 'LEGAL-cla' | |
| allowlist: Yiannis128,bot* | |
| # the followings are the optional inputs - If the optional inputs are not given, then default values will be taken | |
| # remote-organization-name: AAAAA | |
| # remote-repository-name: AAAAA | |
| create-file-commit-message: 'Creating file for storing CLA Signatures' | |
| signed-commit-message: '$contributorName has signed the CLA in $owner/$repo#$pullRequestNo' | |
| # custom-notsigned-prcomment: 'pull request comment with Introductory message to ask new contributors to sign' | |
| custom-pr-sign-comment: 'I accept and agree to the terms and conditions of the Contributor License Agreement for my present and future contributions submitted to ESBMC-AI.' | |
| #custom-allsigned-prcomment: 'pull request comment when all contributors has signed, defaults to **CLA Assistant Lite bot** All Contributors have signed the CLA.' | |
| lock-pullrequest-aftermerge: true | |
| use-dco-flag: false |