..
config
ci: deprecate ci/config/allow-ref script
2023-08-30 15:56:11 -07:00
util
travis-ci: include the trash directories of failed tests in the trace log
2018-08-01 09:59:36 -07:00
check-directional-formatting.bash
ci: disallow directional formatting
2021-11-04 10:13:10 -07:00
install-dependencies.sh
Merge branch 'ab/ci-use-macos-12'
2022-12-10 14:01:06 +09:00
install-docker-dependencies.sh
ci: add support for GitLab CI
2023-11-09 18:56:10 +09:00
lib.sh
Merge branch 'js/ci-discard-prove-state'
2023-12-09 16:37:48 -08:00
make-test-artifacts.sh
ci(github): use grouping also in the win-build
job
2022-06-13 09:58:41 -07:00
mount-fileshare.sh
Add a build definition for Azure DevOps
2019-01-29 09:26:46 -08:00
print-test-failures.sh
ci: add support for GitLab CI
2023-11-09 18:56:10 +09:00
run-build-and-tests.sh
Merge branch 'js/doc-unit-tests'
2023-12-09 16:37:47 -08:00
run-docker-build.sh
CI: rename the "Linux32" job to lower-case "linux32"
2021-11-23 16:51:53 -08:00
run-docker.sh
CI: rename the "Linux32" job to lower-case "linux32"
2021-11-23 16:51:53 -08:00
run-static-analysis.sh
i18n CI: stop allowing non-ASCII source messages in po/git.pot
2022-05-26 10:30:28 -07:00
run-test-slice.sh
ci: run unit tests in CI
2023-11-10 08:15:32 +09:00
test-documentation.sh
ci: ignore rubygems warning in the "Documentation" job
2020-02-10 09:52:27 -08:00