Skip to content

Fix issue #21081: changed drop-down to heading in the question editor… #83

Fix issue #21081: changed drop-down to heading in the question editor…

Fix issue #21081: changed drop-down to heading in the question editor… #83

name: Python type checks
on:
merge_group:
types: [checks_requested]
push:
branches:
- develop
- release-*
pull_request:
branches:
- develop
- release-*
jobs:
run_tests:
name: Run Mypy Type Checks
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-22.04]
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Setup Python 3.8
uses: actions/setup-python@v4
with:
python-version: '3.8.15'
architecture: 'x64'
- name: Merge develop branch into the current branch
uses: ./.github/actions/merge
- name: Initialize Containers
run: |
make build
make stop
- name: Run Mypy type checks
if: startsWith(github.head_ref, 'update-changelog-for-release') == false
run: make run_tests.mypy
- name: Report failure if failed on oppia/oppia develop branch
if: ${{ failure() && github.event_name == 'push' && github.repository == 'oppia/oppia' && github.ref == 'refs/heads/develop'}}
uses: ./.github/actions/send-webhook-notification
with:
message: "Python type checks failed on the upstream develop branch."
webhook-url: ${{ secrets.BUILD_FAILURE_ROOM_WEBHOOK_URL }}