Skip to content

Commit 01e8cdb

Browse files
authored
Merge pull request #122 from Portkey-AI/fix/mintlify-update
Update Mintlify workflow to trigger on push to master instead of pull request merge
2 parents 63afee3 + 7058969 commit 01e8cdb

1 file changed

Lines changed: 1 addition & 4 deletions

File tree

.github/workflows/mintlify-update.yml

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,12 @@
11
name: Trigger Mintlify Update
22

33
on:
4-
pull_request:
5-
types:
6-
- closed
4+
push:
75
branches:
86
- master
97

108
jobs:
119
trigger-update:
12-
if: github.event.pull_request.merged == true
1310
runs-on: ubuntu-latest
1411

1512
steps:

0 commit comments

Comments
 (0)