|
1 | | -./test/docsCodeStyle.sh |
2 | 1 | ./test/cmdlineTests.sh |
3 | | -./scripts/isoltest.sh |
4 | | -./scripts/get_version.sh |
5 | 2 | ./scripts/soltest.sh |
6 | | -./scripts/test_emscripten.sh |
7 | 3 | ./scripts/wasm-rebuild/docker-scripts/rebuild_tags.sh |
8 | 4 | ./scripts/wasm-rebuild/docker-scripts/rebuild_current.sh |
9 | 5 | ./scripts/wasm-rebuild/docker-scripts/genbytecode.sh |
10 | | -./scripts/wasm-rebuild/docker-scripts/patch.sh |
11 | | -./scripts/wasm-rebuild/rebuild.sh |
12 | | -./scripts/build_emscripten.sh |
13 | 6 | ./scripts/ci/build_emscripten.sh |
14 | | -./scripts/docker_build.sh |
15 | 7 | ./scripts/docs_version_pragma_check.sh |
16 | 8 | ./scripts/uniqueErrors.sh |
17 | 9 | ./scripts/tests.sh |
18 | | -./scripts/docker_deploy.sh |
19 | 10 | ./scripts/bytecodecompare/storebytecode.sh |
20 | 11 | ./scripts/deps-ppa/static_z3.sh |
21 | 12 | ./scripts/ASTImportTest.sh |
22 | 13 | ./scripts/install_static_z3.sh |
23 | | -./scripts/install_obsolete_jsoncpp_1_7_4.sh |
24 | 14 | ./scripts/install_deps.sh |
25 | | -./scripts/build.sh |
26 | | -./scripts/run_proofs.sh |
27 | 15 | ./scripts/common_cmdline.sh |
28 | 16 | ./scripts/docker_deploy_manual.sh |
29 | 17 | ./scripts/endToEndExtraction/create_traces.sh |
30 | | -./scripts/release.sh |
31 | | -./scripts/download_ossfuzz_corpus.sh |
32 | 18 | ./scripts/release_ppa.sh |
33 | | -./scripts/install_cmake.sh |
34 | | -./scripts/release_emscripten.sh |
35 | 19 | ./scripts/create_source_tarball.sh |
36 | | -./scripts/docs.sh |
37 | 20 | ./.circleci/soltest.sh |
38 | | -./.circleci/osx_install_dependencies.sh |
39 | 21 | ./.circleci/soltest_all.sh |
0 commit comments