From ae4a6a2d62595667f942640774a734f117e2a8b0 Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Fri, 16 Oct 2020 10:58:50 +0100 Subject: [PATCH] Remove travis configuration files. After porting the travis jobs to github actions, it doesn't make a lot of sense to keep travis around, especially since we have come up with a host of problems with it, including, but not limited to: * builds timing out on a regular basis * builds failing because of travis' networking problems * contributors not having rights to restart failing jobs corresponding to their PRs * misconfiguration of the build pipeline causing CI runs taking a whole load more than they need to. --- .travis.yml | 409 ------------------------------------ CODEOWNERS | 2 - README.md | 4 +- gcloud-travis-cbmc.json.enc | Bin 2336 -> 0 bytes scripts/travis_lint.sh | 17 -- 5 files changed, 1 insertion(+), 431 deletions(-) delete mode 100644 .travis.yml delete mode 100644 gcloud-travis-cbmc.json.enc delete mode 100755 scripts/travis_lint.sh diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 0050ffc9f5b..00000000000 --- a/.travis.yml +++ /dev/null @@ -1,409 +0,0 @@ -language: cpp - -jobs: - include: - - - &formatting-stage - stage: Linter + Doxygen + non-debug Ubuntu/gcc-5 test - env: NAME="clang-format" - addons: - apt: - sources: - - llvm-toolchain-trusty-7 - - ubuntu-toolchain-r-test - packages: - - clang-format-7 - install: - script: | - clang-format-7 --version - # build a pathspec that excludes the files in .clang-format-ignore - while read file ; do EXCLUDES+="':(top,exclude)$file' " ; done < .clang-format-ignore - MERGE_BASE=$(git merge-base ${TRAVIS_COMMIT_RANGE%...*} ${TRAVIS_COMMIT_RANGE#*...}) - echo "Checking for formatting errors introduced since $MERGE_BASE" - # use eval so that quotes (as inserted into $EXCLUDES above) are not interpreted as parts of file names - eval git-clang-format-7 --binary clang-format-7 $MERGE_BASE -- $EXCLUDES - git diff > formatted.diff - if [[ -s formatted.diff ]] ; then - echo 'Formatting error! The following diff shows the required changes' - echo 'Use the raw log to get a version of the diff that preserves spacing' - cat formatted.diff - exit 1 - fi - echo 'No formatting errors found' - exit 0 - before_cache: - - - &linter-stage - stage: Linter + Doxygen + non-debug Ubuntu/gcc-5 test - env: NAME="CPP-LINT" - install: - script: scripts/travis_lint.sh - before_cache: - - - &string-table-check - stage: Linter + Doxygen + non-debug Ubuntu/gcc-5 test - env: NAME="string-table" - install: - script: scripts/string_table_check.sh - before_cache: - - - stage: Linter + Doxygen + non-debug Ubuntu/gcc-5 test - env: - NAME: "DOXYGEN-CHECK" - DOXYGEN_VERSION: "1.8.16" - addons: - apt: - sources: - - sourceline: 'deb http://packages.cloud.google.com/apt cloud-sdk-trusty main' - key_url: 'https://packages.cloud.google.com/apt/doc/apt-key.gpg' - packages: - - cmake - - google-cloud-sdk - - graphviz - cache: - directories: - - ${TRAVIS_BUILD_DIR}/doxygen/build/bin - install: - - | - # Build doxygen if it is not in Travis cache - if ! [ -x doxygen/build/bin/doxygen ] - then - scripts/build_doxygen.sh ${DOXYGEN_VERSION} - fi - - export PATH="$PATH:${TRAVIS_BUILD_DIR}/doxygen/build/bin" - script: - - echo $PATH - - doxygen --version - - scripts/run_doxygen.sh - before_cache: - after_success: - # Google Cloud Integration - - export BRANCH="${TRAVIS_PULL_REQUEST_BRANCH:-$TRAVIS_BRANCH}" - - openssl aes-256-cbc -k ${GCLOUD_TRAVIS_CBMC_KEY} - -in gcloud-travis-cbmc.json.enc -out gcloud-travis-cbmc.json -d - - export G_KEY=${PWD}/gcloud-travis-cbmc.json - - gcloud auth activate-service-account --key-file ${G_KEY} - - - scripts/publish_doc.sh - - # Ubuntu Linux with glibc using g++-5 - - stage: Linter + Doxygen + non-debug Ubuntu/gcc-5 test - os: linux - dist: trusty - sudo: false - compiler: gcc - cache: ccache - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - libwww-perl - - g++-5 - - libubsan0 - - parallel - - jq - - gdb - before_install: - - mkdir bin - - ln -s /usr/bin/gcc-5 bin/gcc - - ln -s /usr/bin/g++-5 bin/g++ - # env: COMPILER=g++-5 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover -fno-omit-frame-pointer" - env: - - COMPILER="ccache /usr/bin/g++-5" - - WITH_MEMORY_ANALYZER=1 - - # OS X using clang++ - - stage: Test different OS/CXX/Flags - os: osx - sudo: false - compiler: clang - cache: ccache - before_install: - - HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache parallel gdb - - export PATH=$PATH:/usr/local/opt/ccache/libexec - env: - - COMPILER="ccache clang++" - - WITH_MEMORY_ANALYZER=0 - - # Ubuntu Linux with glibc using g++-5, debug mode - - stage: Test different OS/CXX/Flags - os: linux - dist: trusty - sudo: false - compiler: gcc - cache: ccache - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - libwww-perl - - g++-5 - - libubsan0 - - jq - - gdb - before_install: - - mkdir bin - - ln -s /usr/bin/gcc-5 bin/gcc - - ln -s /usr/bin/g++-5 bin/g++ - # env: COMPILER=g++-5 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover -fno-omit-frame-pointer" - env: - - COMPILER="ccache /usr/bin/g++-5" - - EXTRA_CXXFLAGS="-DDEBUG" - - WITH_MEMORY_ANALYZER=1 - script: echo "Not running any tests for a debug build." - - # Ubuntu Linux with glibc using clang++-7, debug mode, disable USE_DSTRING - - stage: Test different OS/CXX/Flags - os: linux - dist: trusty - sudo: false - compiler: clang - cache: ccache - addons: - apt: - sources: - - ubuntu-toolchain-r-test - - llvm-toolchain-trusty-7 - packages: - - libwww-perl - - g++-5 - - clang-7 - - libstdc++-5-dev - - libubsan0 - - jq - - gdb - before_install: - - mkdir bin - - ln -s /usr/bin/gcc-5 bin/gcc - - ln -s /usr/bin/g++-5 bin/g++ - - export CCACHE_CPP2=yes - # env: COMPILER=clang++-7 SAN_FLAGS="-fsanitize=undefined -fno-sanitize-recover=undefined,integer -fno-omit-frame-pointer" - env: - - COMPILER="ccache /usr/bin/clang++-7" - - EXTRA_CXXFLAGS="-Qunused-arguments -fcolor-diagnostics -DDEBUG -DUSE_STD_STRING" - - CCACHE_CPP2=yes - - WITH_MEMORY_ANALYZER=1 - script: echo "Not running any tests for a debug build." - - # cmake build using g++-7, enable NAMED_SUB_IS_FORWARD_LIST - - stage: Test different OS/CXX/Flags - os: linux - dist: trusty - sudo: false - compiler: gcc - cache: ccache - env: - - BUILD_SYSTEM=cmake - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - g++-7 - - jq - - gdb - before_install: - - mkdir bin - - ln -s /usr/bin/gcc-7 bin/gcc - - ln -s /usr/bin/g++-7 bin/g++ - install: - - ccache -z - - ccache --max-size=1G - - cmake -S . -Bbuild '-DCMAKE_BUILD_TYPE=Release' '-DCMAKE_CXX_COMPILER=/usr/bin/g++-7' '-DCMAKE_CXX_FLAGS=-DNAMED_SUB_IS_FORWARD_LIST' '-DWITH_MEMORY_ANALYZER=On' - - git submodule update --init --recursive - - cmake --build build -- -j4 - script: (cd build; bin/unit "[core][irept]") - - # cmake build using g++-7, enable CMAKE_USE_CUDD and BDD_GUARDS - - stage: Test different OS/CXX/Flags - os: linux - dist: trusty - sudo: false - compiler: gcc - cache: ccache - env: - - BUILD_SYSTEM=cmake - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - g++-7 - - jq - - gdb - before_install: - - mkdir bin - - ln -s /usr/bin/gcc-7 bin/gcc - - ln -s /usr/bin/g++-7 bin/g++ - install: - - ccache -z - - ccache --max-size=1G - - cmake -S . -Bbuild '-DCMAKE_BUILD_TYPE=Release' '-DCMAKE_CXX_COMPILER=/usr/bin/g++-7' '-DCMAKE_USE_CUDD=true' -DCMAKE_CXX_FLAGS="-DBDD_GUARDS" '-DWITH_MEMORY_ANALYZER=On' - - git submodule update --init --recursive - - cmake --build build -- -j4 - script: (cd build; ctest -V -L CORE -j2; ctest -V -R unit-xfail -j2) - - # cmake build using clang++-6 - - stage: Test different OS/CXX/Flags - os: linux - dist: trusty - sudo: false - compiler: clang - cache: ccache - env: - - BUILD_SYSTEM=cmake - addons: - apt: - sources: - - ubuntu-toolchain-r-test - - llvm-toolchain-trusty-7 - packages: - - libwww-perl - - g++-5 - - clang-7 - - libstdc++-5-dev - - libubsan0 - - parallel - - jq - - gdb - before_install: - - mkdir bin - # Use gcc/g++ 5 for tests, as Clang doesn't work yet - # See https://github.com/diffblue/cbmc/issues/2370 for details. - - ln -s /usr/bin/gcc-5 bin/gcc-5 - - ln -s /usr/bin/g++-5 bin/g++-5 - install: - - ccache -z - - ccache --max-size=1G - - cmake -S . -Bbuild '-DCMAKE_BUILD_TYPE=Release' '-DCMAKE_CXX_COMPILER=/usr/bin/clang++-7' '-DCMAKE_CXX_FLAGS=-Qunused-arguments' '-DWITH_MEMORY_ANALYZER=On' - - git submodule update --init --recursive - - cmake --build build -- -j4 - script: (cd build; ctest -V -L CORE -j2; ctest -V -R unit-xfail -j2) - - # cmake build on OSX, using default clang - - stage: Test different OS/CXX/Flags - os: osx - sudo: false - compiler: clang - cache: ccache - before_install: - - HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache gdb - - export PATH=$PATH:/usr/local/opt/ccache/libexec - env: - - BUILD_SYSTEM=cmake - - CCACHE_CPP2=yes - install: - - ccache -z - - ccache --max-size=1G - - cmake -S . -Bbuild '-DCMAKE_BUILD_TYPE=Release' '-DCMAKE_OSX_ARCHITECTURES=x86_64' - - git submodule update --init --recursive - - cmake --build build -- -j4 - script: (cd build; ctest -V -L CORE -j2; ctest -V -R unit-xfail -j2) - - - # Run Coverity - - stage: Test different OS/CXX/Flags - if: type = cron - os: linux - dist: trusty - sudo: false - compiler: gcc - cache: ccache - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - libwww-perl - - g++-5 - coverity_scan: - project: - name: "diffblue/cbmc" - description: "Travis build of ${TRAVIS_COMMIT}" - notification_email: "coverity-scan@diffblue.com" - build_command_prepend: "make -C jbmc/src setup-submodules" - build_command_prepend: "make -C src minisat2-download" - build_command: "make -C src -j2; make -C jbmc/src -j2" - branch_pattern: "develop" - before_install: - - mkdir bin ; ln -s /usr/bin/gcc-5 bin/gcc - - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 90 - - g++ --version - # Coverity runs as part of before_script - env: - - NAME="COVERITY_SCAN" - - COMPILER="ccache g++" - - WITH_MEMORY_ANALYZER=1 - script: echo "This is coverity build. No need for tests." - - # cmake install test - - stage: Test different OS/CXX/Flags - os: linux - dist: trusty - sudo: false - compiler: gcc - cache: ccache - env: - - NAME="cmake install test" - - BINARIES="cbmc goto-cc goto-gcc goto-ld goto-instrument goto-analyzer goto-diff goto-harness jbmc janalyzer jdiff" - addons: - apt: - sources: - - ubuntu-toolchain-r-test - packages: - - g++-5 - - maven - install: - - ccache -z - - ccache --max-size=1G - - cmake --version - - cmake -S . -Bbuild '-DCMAKE_CXX_COMPILER=/usr/bin/g++-5' '-DCMAKE_INSTALL_PREFIX=install' - - cmake --build build -- -j4 - - pushd build; make install; popd - script: | - for b in $BINARIES; do - ( echo === $b === && - install/bin/$b --version && - man -M install/share/man $b | head ) || exit 1 ; - done - -install: - - ccache -z - - ccache --max-size=1G - - make -C jbmc/src setup-submodules - - make -C src minisat2-download - - make -C src/ansi-c library_check - - make -C src/cpp library_check - - make -C src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3 - - make -C jbmc/src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3 - -script: - - if [ -e bin/gcc ] ; then export PATH=$PWD/bin:$PATH ; fi ; - - env UBSAN_OPTIONS=print_stacktrace=1 make -C regression test-parallel "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j2 JOBS=2 - - UBSAN_OPTIONS=print_stacktrace=1 make -C regression/cbmc test-paths-lifo - - env PATH=$PATH:`pwd`/src/solvers UBSAN_OPTIONS=print_stacktrace=1 make -C regression/cbmc test-cprover-smt2 - - make -C unit "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j2 - - make -C unit test - - echo "Running expected failure tests" - - make TAGS="[!shouldfail]" -C unit test - - env UBSAN_OPTIONS=print_stacktrace=1 make -C jbmc/regression test-parallel "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j2 JOBS=2 - - make -C jbmc/unit "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j2 - - make -C jbmc/unit test - - echo "Running expected failure tests" - - make TAGS="[!shouldfail]" -C jbmc/unit test - -before_cache: - - ccache -s - -notifications: - webhooks: - urls: - - http://dashboard.diffblue.com/api/travis-webhooks - - https://us-central1-dev-user-joelallred.cloudfunctions.net/trigger-testgen-from-cbmc - on_success: always - on_failure: always - on_start: never - on_cancel: never - on_error: always diff --git a/CODEOWNERS b/CODEOWNERS index 7decf553d3c..e1c76eff18e 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -64,5 +64,3 @@ CMakeLists.txt @hannes-steffenhagen-diffblue /scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel /scripts/expected_doxygen_warnings.txt - -/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel @chrisr-diffblue diff --git a/README.md b/README.md index d04ac91e5c4..4b131b061c5 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,3 @@ -[![Build Status][travis_img]][travis] [![Build Status][codebuild_img]][codebuild] [![Build Status][codebuild_windows_img]][codebuild_windows] [![Build Status][coverity_img]][coverity] @@ -99,8 +98,7 @@ License ======= 4-clause BSD license, see `LICENSE` file. -[travis]: https://travis-ci.org/diffblue/cbmc -[travis_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master + [codebuild]: https://us-east-1.console.aws.amazon.com/codesuite/codebuild/projects/cbmc/history?region=us-east-1 [codebuild_img]: https://codebuild.us-east-1.amazonaws.com/badges?uuid=eyJlbmNyeXB0ZWREYXRhIjoiajhxcmNGUEgyV0xZa2ZFaVd3czJmbm1DdEt3QVdJRVdZaGJuMTUwOHFrZUM3eERwS1g4VEQ3Ymw3bmFncldVQXArajlYL1pXbGZNVTdXdndzUHU4Ly9JPSIsIml2UGFyYW1ldGVyU3BlYyI6IkVUUEdWVEt0SUFONlhyNVAiLCJtYXRlcmlhbFNldFNlcmlhbCI6MX0%3D&branch=develop [codebuild_windows]: https://us-east-1.console.aws.amazon.com/codesuite/codebuild/projects/cbmc-windows/history?region=us-east-1 diff --git a/gcloud-travis-cbmc.json.enc b/gcloud-travis-cbmc.json.enc deleted file mode 100644 index 63c9c19b9774ee92428fefe12bdf962a2a0715b3..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 2336 zcmV+*3E%cpVQh3|WM5wy=F3W*W#K0Mjd6RL>UQ!AG}ztw^@q^m#=hNd*DEKbOaT8Q z>UsUXZ8o)557a3Sra12%<#mQf~IZ=JorY)m=jQd8g(Hu&3VdP-qL?bxM= zq`=l}kzLwAr8e%-$w9wZg)ta>Y~h$-vC|`bFZm7etBh+baUP_-Vl#XN-GA2E=?O{9 z{>|@}n0TjNuiF6GhT8Mm67)J(b?#5D^VYzyn;!glL#^>=YLmkKh)L6Ymp;XE*X5|H zs?AsWCjj$*(q+K>8J%%kiH;$`O6Fr0F-+>E?+jE#BHCj*EAAgq#i$9oX}B#bf}V)_ z=x{OLu$}94BrQ9@RmJ74z|-m9kJZDl*D))55SSVNe;? z1p>58Lhv%uKjy_oX&20L0QB)PFbUPX=3Z=($3yMk<*;wn>oiMPU|Db6%aS7mi|A&* zC;gDCfmMj$h)BdcgOq@4ygp5rZ`YZJbhAsxqR6PdwD&6Sb?#jxjZvPg$p`p6e-rh5U(xIrO=%hHq!AlxA4&s8L z*it26l@*`PGan7S{7X8)&mcBD8Fj z!kgrfl`U7j<^aI;*d2N{6>X~Yd73=0-LNO&klumf=kQ!bKh3zEhr$i{|H@&+fSZ_?DwUnF+RIMIXE^77@-xZ;jj);eqMI~tLs_Y2apH!LgPD(CLg z#jZL&G#|laImc_=`-&BTR~=^f9~0pWpe#%ZEMzH!y?&D$nEMF4!_#up9J&H=eoI7)<9SkH?)-#vaJ#2!JnS6d2LI=YNT?;KN~^D(G_W-e z4>Q5Nv5pxCnXhQ`tFcipU_!Fa|1RFLOox~qUmp+KlJ8ALKVR$x*UVMlyYd|VOB#RS z)$tVE*zEUGQAu4@V{n(Wjz)Ev&xpCE^m#;d{0J=8O4@@4Clg`i)Ir ztwyGX6qXM+ZGC(z*o7-GnLNr2B}HcDkal#ZP?C<2cfS<|>}f0zN0>Wg z&;Fcr_DS7b0EoTUVHkpCb@kI92<9T#2{-(x1J}LnW`MHdx>j}{0nR>Pj{4|sl-Qy~ zI0zBsJA9<^(SjWMzPF{dG?CO=2gHdCR?>-@NrB$;M+oRrcUN}z?(A_r5f9Fk;d|L1 z2rmkKSMY4Ehl*kWBqKQ{d*vj(tl?t}D%S#l74=&x75$#B`rZsCsb39E)Y^f0iCe`& z4_n{8glSv1;7B$|oC4GjU6rwTU#&0m5fdjdJ*> zD8TZ!PUJQiMw>tElaU(oYxmTa+*evZLZcdfjWR~xZfK=)FH12#3=-rIy>WWk8T_!Q zF?K%=HI=;x>z`Fzv|o3PBu=J$!JJYG1}D$X`DbEtwu+l$A%eH;Y(=NzkEP|@e6X=* zM8L6?9_HGzdC`~hpu^3m)tOt%esr_2?iI3L8&cJ~hVzo$M`bWo;b+#=gj!ngslRUv z1iFlJE(Me^y@*Gm1$1_e*2O4s2?XuZey=*!Qo8A!a^O-Gr>G=afRfOkjUR`oxcdTb zMxPn1rUZIxv!4^PqY~r_T>QHc;GyxKKIa=8MdW6)caw*Jz-Cw;j$8wSIZFjq#^4yn zf?N7jM8fkjMj}5~>GvrEezFg5ncM)I>Kew}ClRe^7r>~j(FkWGVLft^`u||a z;yuK6V&T;DhB3{_3CU4~kM|z#FKmL28)ZX0NEK-06q?!m75>?TmFH4cg1y+5kc@_m Gk7c`|K$oik diff --git a/scripts/travis_lint.sh b/scripts/travis_lint.sh deleted file mode 100755 index f7b80ed9327..00000000000 --- a/scripts/travis_lint.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash - -set -e - -script_folder=`dirname $0` -pip install --user unidiff - -if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then - $script_folder/run_diff.sh CPPLINT HEAD~1 # Check for errors introduced in last commit -else - TMP_HEAD=$(git rev-parse HEAD) - git config remote.origin.fetch +refs/heads/$TRAVIS_BRANCH:refs/remotes/origin/$TRAVIS_BRANCH - git fetch --unshallow - git checkout $TMP_HEAD - MERGE_BASE=$(git merge-base ${TRAVIS_COMMIT_RANGE%...*} ${TRAVIS_COMMIT_RANGE#*...}) - $script_folder/run_diff.sh CPPLINT $MERGE_BASE -fi