https://travis-ci.org/akimd/bison/builds/600582734
I have pushed -f quickly, and travis seems to have not noticed that it faced a failure. The log reveals:
$ git checkout -qf adb073139a8a3af2c1f26848377b1b55fc8dc752
167fatal: reference is not a tree: adb073139a8a3af2c1f26848377b1b55fc8dc752
168The command “git checkout -qf adb073139a8a3af2c1f26848377b1b55fc8dc752” failed and exited with 128 during .
169
170Your build has been stopped.
yet the remainder of the pipeline seems not to have noticed the failure of the first step.