Implement field integer division and remainder operations #1747
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: Pull request changelog check | |
| on: | |
| pull_request: | |
| types: [opened, labeled, unlabeled, synchronize] | |
| jobs: | |
| build: | |
| if: ${{ !(contains(github.event.pull_request.labels.*.name, 'changelog-not-required')) }} | |
| name: Run changelog check | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out the code | |
| uses: actions/checkout@v2 | |
| - name: Changelog check | |
| run: ./scripts/changelog-check.sh |