MG-2060 - Remove int32 type in policy interface #125
Workflow file for this run
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
| # Copyright (c) Abstract Machines | |
| # SPDX-License-Identifier: Apache-2.0 | |
| name: Property Based Tests | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| env: | |
| TOKENS_URL: http://localhost:9002/users/tokens/issue | |
| DOMAINS_URL: http://localhost:8189/domains | |
| USER_IDENTITY: admin@example.com | |
| USER_SECRET: 12345678 | |
| DOMAIN_NAME: demo-test | |
| jobs: | |
| api-test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Code | |
| uses: actions/checkout@v4 | |
| - name: Install Go | |
| uses: actions/setup-go@v4 | |
| with: | |
| go-version: 1.21.x | |
| cache-dependency-path: "go.sum" | |
| - name: Build images | |
| run: make all -j $(nproc) && make dockers_dev -j $(nproc) | |
| - name: Start containers | |
| run: make run up args="-d" && sleep 10 | |
| - name: Set access token | |
| run: | | |
| export USER_TOKEN=$(curl -sSX POST $TOKENS_URL -H "Content-Type: application/json" -d "{\"identity\": \"$USER_IDENTITY\",\"secret\": \"$USER_SECRET\"}" | jq -r .access_token) | |
| export DOMAIN_ID=$(curl -sSX POST $DOMAINS_URL -H "Content-Type: application/json" -H "Authorization: Bearer $USER_TOKEN" -d "{\"name\":\"$DOMAIN_NAME\",\"alias\":\"$DOMAIN_NAME\"}" | jq -r .id) | |
| export USER_TOKEN=$(curl -sSX POST $TOKENS_URL -H "Content-Type: application/json" -d "{\"identity\": \"$USER_IDENTITY\",\"secret\": \"$USER_SECRET\",\"domain_id\": \"$DOMAIN_ID\"}" | jq -r .access_token) | |
| echo "USER_TOKEN=$USER_TOKEN" >> $GITHUB_ENV | |
| - name: Run Users API tests | |
| uses: schemathesis/action@v1 | |
| with: | |
| schema: api/openapi/users.yml | |
| base-url: http://localhost:9002 | |
| checks: all | |
| report: false | |
| args: '--header "Authorization: Bearer ${{ env.USER_TOKEN }}" --contrib-openapi-formats-uuid --hypothesis-suppress-health-check=filter_too_much --stateful=links' | |
| - name: Stop containers | |
| if: always() | |
| run: make run down args="-v" |