Skip to content
Validate PR Title

fix: prevent Hyperion WebSocket deadlock by using fire-and-forget send #73062

Sign in to view logs

fix: prevent Hyperion WebSocket deadlock by using fire-and-forget send

fix: prevent Hyperion WebSocket deadlock by using fire-and-forget send #73062

Workflow file for this run

.github/workflows/validate-pr-title.yml at b80e410
name: Validate PR Title
on:
pull_request:
types: [opened, synchronize, reopened, ready_for_review, edited]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
permissions: {} # default-deny; the job grants only what it needs
jobs:
validate-pr-title:
runs-on: ubuntu-latest
timeout-minutes: 1
permissions:
contents: read
steps:
- uses: Slashgear/action-check-pr-title@161cede0311ec624ae3ee76a2c27522f7b6fa2d8 # v5.0.1
with:
regexp: '^`(Administration|Lectures|Tutorial groups|Communication|Notifications|Exercises|Programming exercises|Quiz exercises|Modeling exercises|Text exercises|File upload exercises|Team exercises|Exam mode|Integrated code lifecycle|LocalCI|LocalVC|Assessment|Grading|Plagiarism checks|Learning analytics|Adaptive learning|Learning path|Iris|Hyperion|Athena|Global search|Integrated markdown editor|Mobile apps|Scalability|Usability|Performance|Infrastructure|Migration|Development|General)`:\s[A-Z].*$'