Skip to content

Commit 4243ad3

Browse files
[Documentation:Plagiarism] Add title check (#30)
* Add title check * Fix source for github action * Revert "Fix source for github action" This reverts commit 9675824. * Remove unnecessary code
1 parent 82b82be commit 4243ad3

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

.github/workflows/pr_title.yml

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
name: 'Submitty PR Title Check'
2+
on:
3+
pull_request:
4+
# check when PR
5+
# * is created,
6+
# * title is edited, and
7+
# * new commits are added (to ensure failing title blocks merging)
8+
types: [ opened, reopened, edited, synchronize ]
9+
10+
jobs:
11+
title-check:
12+
runs-on: ubuntu-latest
13+
steps:
14+
- uses: submitty/action-pr-title@main

0 commit comments

Comments
 (0)