Skip to content

Commit

Permalink
Merge ec0e861 into d63640c
Browse files Browse the repository at this point in the history
  • Loading branch information
bobzhang authored Aug 11, 2016
2 parents d63640c + ec0e861 commit 604e0a4
Show file tree
Hide file tree
Showing 3 changed files with 20 additions and 6 deletions.
8 changes: 6 additions & 2 deletions .travis.yml
Original file line number Diff line number Diff line change
@@ -1,8 +1,12 @@
language: node_js
env:
matrix:
- BS_TRAVIS_CI=1
global:
secure: d2jPfbiRmbSye93qqYXngYU3dqHyxt0xr1iISoQWDo7xhTmKudywYIwI2PG4G6tR4gko1zzndbtKaYns/Gf5m8uzRc0Xrd4AIAR4+lxcxW1NR5cHATswVktjsFKS9AfzFPlpQ6lVJCO0NuJiL7vPwQV8T7BMCkpF56guYsqN+B+Pbrdi3rI3vuJGUBE5EAFOeQcRuLFa1T1nzS7W1rSqTrn9NVnun7tVfHo3ncknSx5+WTT1k24SKdR0cArs31dhqecoe/eoSMDsLs++19TZKFK7Uj3QP1Zu1Imq8jB5tHNbhEYSJvhc1NCasvmOZh4KP2PatJ0bgGAtltRa3byJS0w+eEOoAlxsvVXAvYN0k7vbFK/cDvayV/w3VZt+U+i7p/cIt74Wy/9lw9tTbm6KcrroKTuSmTLuUvZml1jhy//rk4eUUNYPOhNxITCxQ5LUlkvDemDWW1VZz/cfUuElMM5wXsPr+pCjouaZBL8/tWGJmlZ+/6Aav60rAVsQevTidkTjmZA/e7BauTeu2tyLVo2GewCYUKnAggmhveA3qeevHQXh17Bi73Zl/3o8j7n7mJDoZiSJNUzvoQcyCYPtSLdX8a+kXIuZufxZK6EXPGzgiEiYnR+HuQrI2QJm2cleEJrwIusH/YE91VmMuQsBCr2xD9DXdUbGHXhTOLxFo8Y=
node_js:
- "4.0"

- '4.0'
script: npm run coveralls

after_success: ./scripts/after_success.sh

4 changes: 0 additions & 4 deletions jscomp/polyfill.js
Original file line number Diff line number Diff line change
@@ -1,7 +1,3 @@
function caml_is_js(unit){
return 1;
}

//Provides: caml_blit_bytes
//Requires: caml_subarray_to_string, caml_convert_string_to_array
function caml_blit_bytes(s1, i1, s2, i2, len) {
Expand Down
14 changes: 14 additions & 0 deletions scripts/after_success.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
#!/bin/sh
set -e
echo "now commit"
push_uri="https://$GITHUB_SECRET_TOKEN@github.com/bloomberg/bucklescript"
export GIT_COMMITTER_EMAIL='travis@travis'
export GIT_COMMITTER_NAME='Travis CI'
git config user.email $GIT_COMMITTER_EMAIL
git config user.name $GIT_COMMITTER_NAME
git add jscomp/bin/
git commit -m '[skip ci] automatic snapshot'

echo "now push #branch $TRAVIS_BRANCH #commit: $TRAVIS_COMMIT #issue: $TRAVIS_PULL_RQUEST"
git push "$push_uri" -f "$TRAVIS_COMMIT:snapshot_issue_$TRAVIS_PULL_REQUEST"
echo "done"

0 comments on commit 604e0a4

Please sign in to comment.