Difference between Travis push/pr - Githubissues

42shpimanmls / 42sh

Shell project at 42

3 stars 0 forks source link

Difference between Travis push/pr #260

Closed pilespin closed 7 years ago

M5oul commented 7 years ago

push: check on every commit
pr: check the pull request.

n0izn0iz commented 7 years ago

push: before merge master pr: after merge master