diff options
author | Timotej <timotej.kapus13@imperial.ac.uk> | 2015-06-15 19:17:46 +0100 |
---|---|---|
committer | Timotej <timotej.kapus13@imperial.ac.uk> | 2015-06-15 19:17:46 +0100 |
commit | c6d650e995058b6a5b9579fdd417984a984bad23 (patch) | |
tree | ec2ebb2e1919da6f577c0ecd167b2481a49a517b /.travis.yml | |
parent | a83176ef4494eede31ac00ecd7b0c40fcdd0feb0 (diff) | |
download | klee-c6d650e995058b6a5b9579fdd417984a984bad23.tar.gz |
encrypted secrets with main klee repo key
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 413b5b9a..1979f1ef 100644 --- a/.travis.yml +++ b/.travis.yml @@ -44,9 +44,9 @@ env: # Check at least one Debug+Asserts build - LLVM_VERSION=3.4 STP_VERSION=UPSTREAM KLEE_UCLIBC=1 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 COVERAGE=0 global: - - secure: I2KHdohEIIBFHv8WuBPNP6Tr/KlF2bZsJaErSjyQgL6m0oNGI/f0AzTD+8lwlxhYSdk8Zq0+4R8uqKi9Hx70gN/Jxh2vpO+cStysP7IEpuUGojRleU5yxw0G8hDd8qvgqR23ZRBriIRQp+5h1AR/7cW1FJ62u5M5kbZMEJXe4wChSrERt6hhOY3aWvBaoJEfyUsKMPrtPVkTtnsbO/rdlaIJ8I7Eh0tGiI5aHzziVyA56CjEnDszEbbtTky0AIzPOUzL5rjsUNgEGkDk4KvyfGf8Fe8bd2Uucm1Bdx5l6Q2vF8ugwhClwF0kZCnBuZ8iY1f8fO8JAd91cRf5D4Yp+UYV7+xKRD3qEGerXz2riWWpJFTtcK8Jp4ZiPmguRqx5pSMjn8tM9u4I0a+QsttynX7juMgn4Hd7HmXXzDnUPCbbXOqUxH8E6hRyJsK9t1n2db8fiBZ82nAQI5Iia0bSS5Ugv3y8rmT8QunFmKe0E+VhN6BmNE/xp+dEYKkNJw9Q6z2HxzLcMmSDxYMSINXIHMahfh7hkL+4o2oM/8EN8+D5k+bWhes9qPqFQvG2EgeaObXwG0rgdnwMKqXwcVtM3rj1r9hkXyOiRIOpo9t2B82EBgBs8Wkn+a36jKl2ol7KO9BqKRr9VDBTNugyDT9Gb/s/p1DncfNrRRdHbtH6BV4= - - secure: YTSCtmz2/1vaaM9Y/9sVuCSTCXW4zvstIGqcFRVI1lgcgOhsGPJ85NYylCL4p1yohkLgIpKKddsSNaY4S1iL9Dnpq02shD1I+Uuqa73+srlTCkPWrJjMyqXQd9lHGx2RI3POomrVZAn6zyowoCQh0DrNEf+CyKpysfnj9LujFjofrCFKBxOrWGaIVbV3Gb85Y7jsW/a3mBV4KyETzMqhh5K1YwRbvCOcmBdx+nAVZDzGQPd7AW49ExZeu9OJDDhhPkPPgt6zK4ynEmdKeoLMu9mlUDz++Z7HwQbkEGN+AYPjPde5vjQX9GM/0amVHjQsph4M80QnR5XsFUDPaaoj/K1vAQ3vKUs4UUeMN8XIuLP3psX4kPkK3B7aTZaoEsEA+6GdgGtCv5s4n/OMb29eBNaBZPp6NpeTPilmYEdI0vAB4BH0gRbmYqxqsyF0KyWvUYUiGWwt2jVreqZpJNX79fNoykT+kYoo+iW3otBGC9uTew4VgBK6tk1nOycfrEBzz0lU44ov/VIMikXYCT3D9dYgemdwqvmzi2YV5xQWPJRDIt96oTBEYg7GIInTERQKqLDAjhZX8QdRj0/3Gkfe3HbB3JDAPYKl2Oc58mD37hURk7onJsdtVUfgiF2uLx7uQ3qr7ji668FKMRKknQ4qox1QBN7dypXbADIhENh6bFo= - - secure: ZfcC3mJaJooj3JkNKGTbTjiThidtexAuBOZ5NBu9x2+Nq8zX/rEbzYTmTlfj57UsZj27aQXgI9tCgLshodSgKF90Y+kLf5I3p2o6xIXxwzvClmFLiG5+Jxfdod2IJ4xQpwoj9lGzC+7+iPkfqnwdYKPNWdcOFPYZ4fMmvD6MqP9P+7njEGtE0XTfflmlEPySs471hlXGTFGea5EDSYcY2zrkycKh+PfXmT9u4f46bEqyQP4bAffsZy4WrrrFrNEkQGZsO3xdSLZs6MsmlG++HAIq3IqSHG2/IsB0XYC1nqZGxkCSIHCqdqY1MmaaNhYpS4dWhhQNabsAd1Nnvo/i2gsu+Ll4E6WuGI4WN9ha5Y8rJZ06Oo/qjqVLE3r0L4bM4M5o4qYPdNyIuDRDW1gyMZN1AGO6ArdYoyPYhIQDRcYLtZt0qaM7hNjZ5iolSDXVk1OF/pjL+vNqiiPWb1EHxE/IRygeDca58EjSVJIr4LW+QwfjakRZtFqyqzrM8uAW0AfEQMOKdGA7YhRXNCg4/hkZMuAvO4daea5Xh8nbht2RQQ9r2hLfHbIgd4030aQnfk0HueNi3LVPkZDBmLM4OY/MOACZDFZQ1JLv+dg8wAblJ5NnLbLUg4pfEgCbZQICPW5j5xUqLqFFhwE4TYaTOjGsy+LkMdK0EasyPUwZhhs= + - secure: EF/WAc4BdIRUchF3mjATN3/UwtGWtGaRgb5oIIJHjKhgZFdPsgWsXFgaOB0jaK2hfO/svj/LvlasuRIGxeePVjeaiX8ZlVpuHiX67vdYLY+0kCDRwkusRjm60/GbPU9O/Xjgb/d4aWAEkoq5OnsprVTEvU8iY2JHtAqgwR+wW9I= + - secure: Hrp1MRSxDUH2GTQg3QR/yUttY/3KmgbFb5e+zyy551dKpHjxJdsNe8bquY9oFoT7KmPQYl0HNNjEv4qWW8RK+HWHOCB55nL1KlGpOG7vAJcUEZg7ScbliGgiovMB6jIQVfeP9FhYngfc13vNZQ5PGlqzfSsHSAbvkwEogBToHVw= + - secure: DQAEQWJblXvIztN/sgH63OtFncI+Qju6wRy1zIV/iLf5KbAmLs1h3itU7EsE/+3+LgV1MVQ5QNJDBUj17A6VHRKNaQ5qnIllTAcC3o0nPDohQkQoCgDG8HZ+M4wtVfr7q2K6byEPB2UbSH+mEjSMTihJufgBBVfKyyozAfYycjg= cache: apt before_install: |