diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-05 12:08:27 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-09-05 16:18:20 +0100 |
| commit | e81299423daf6dd8cd43108e9f675b260a33e4cb (patch) | |
| tree | 8ddc522960b5aaf8cfb96ec0a649ec576f9d5dc8 /.travis.yml | |
| parent | 41b3e2cb8982c71967f980ac4ec10a13bba1ae52 (diff) | |
| download | klee-e81299423daf6dd8cd43108e9f675b260a33e4cb.tar.gz | |
Remove secure vars
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml index 7a08408e..90856b35 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,10 +26,6 @@ env: # Define default values - they are overwritten by each matrix entry if needed global: - - 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= - # Default configuration for all Travis-CI jobs. They are overriden by each job. - BASE_IMAGE=ubuntu:bionic-20200112 - REPOSITORY=klee |