Fix repo name

JuliaFolds · Jul 20, 2019 · 7b670ed · 7b670ed
1 parent 43726b3
commit 7b670ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -16,7 +16,7 @@ notifications:
 
 # Do not build my PR twice.  Use the build on branch.
 # https://github.com/travis-ci/travis-ci/issues/1147#issuecomment-76296437
-if: NOT (type == pull_request AND repo == tkf/Transducers.jl)
+if: NOT (type == pull_request AND repo == tkf/BangBang.jl)
 
 install:
   - unset JULIA_PROJECT