Skip to content

Fixed sending User-Agent header in requests #176

Fixed sending User-Agent header in requests

Fixed sending User-Agent header in requests #176

Workflow file for this run

name: code checks
on:
workflow_dispatch:
pull_request:
branches:
- main
workflow_call:
inputs:
branch_ref:
type: string
required: true
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ inputs.branch_ref }}
cancel-in-progress: true
jobs:
run-checks:
timeout-minutes: 20
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v3
with:
ref: ${{ inputs.branch_ref }}
- name: pull containers
# postgresql is dependency of backend-utils
run: docker compose pull postgresql
- name: build containers
run: ./bin/build-local-containers.sh
- name: check code formatting
run: ./bin/check-code-formatting.sh
- name: check types
run: ./bin/check-code-semantics.sh
- name: run tests
run: ./bin/run-tests.sh