2019-02-15 01:54:31 +01:00
|
|
|
"use strict";
|
|
|
|
|
2019-04-18 08:59:02 +02:00
|
|
|
const publish = require( "./publish" );
|
2019-02-15 01:54:31 +01:00
|
|
|
|
2019-09-29 03:05:27 +02:00
|
|
|
if ( process.env.GITHUB_EVENT_NAME === "push" ) {
|
2019-03-20 22:57:26 +01:00
|
|
|
|
2019-09-29 03:05:27 +02:00
|
|
|
console.log( "Skipping publish because dev release's are only published on `git push`." );
|
2019-03-20 22:57:26 +01:00
|
|
|
process.exit( 0 );
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2019-04-18 08:59:02 +02:00
|
|
|
publish( "pegjs" );
|