100755 blob a8a85233195d1b78fc361a27fdc71cb1880bee5d	deploy-docs.sh
100755 blob 91701d33c2436a6785f7101585a74c6114a69b7f	fail.sh
100755 blob 58b83114b44c20edb898edf9be1c828e65fa6fd6	run-coveralls.sh
100644 blob e2416922e0235eb28c20971dc8c539f1d38145ef	trigger-coverity.sh