Skip to content

Commit

Permalink
add title check (#29)
Browse files Browse the repository at this point in the history
Co-authored-by: Barb Cutler <Barb Cutler>
  • Loading branch information
bmcutler authored Mar 14, 2023
1 parent d4a0beb commit b79ec7b
Showing 1 changed file with 20 additions and 0 deletions.
20 changes: 20 additions & 0 deletions .github/workflows/pr_title_check.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
name: 'Submitty PR Title Check'
on:
pull_request:
# check when PR
# * is created,
# * title is edited, and
# * new commits are added (to ensure failing title blocks merging)
types: [ opened, reopened, edited, synchronize ]

jobs:
title-check:
runs-on: ubuntu-latest
steps:
#
# pull request titles format rules here:
# https://submitty.org/developer/how_to_contribute#how-to-make-a-pull-request-pr-to-submitty
#
# [<TYPE>:<MODULE>] <SUBJECT>
#
- uses: submitty/action-pr-title@main

0 comments on commit b79ec7b

Please sign in to comment.