joepie91/pegjs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Fix pegjs-dev publisher

Browse source
This commit is contained in:
Futago-za Ryuu 2019-09-29 06:40:07 +01:00
parent f897df619e
commit c8afff5864
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/publish-dev/index.js
View file

@ -2,7 +2,7 @@
const publish = require( "./publish" ); const publish = require( "./publish" );
if ( process.env.GITHUB_EVENT_NAME === "push" ) { if ( process.env.GITHUB_EVENT_NAME !== "push" ) {
console.log( "Skipping publish because dev release's are only published on `git push`." ); console.log( "Skipping publish because dev release's are only published on `git push`." );
process.exit( 0 ); process.exit( 0 );