9 Commits (a9598e5eaab861fd6e6ce279f1282a83eec407d6)

Author	SHA1	Message	Date
MarcoFalke	fa2c894cbb	ci: move-only CI_CONTAINER_ID to 02_run_container.sh ... This limits the scope of the CI_CONTAINER_ID symbol. Can be reviewed with --color-moved=dimmed-zebra	1 year ago
MarcoFalke	fac9abbf47	ci: Rename 04_install to 02_run_container ... This reflects what the script does (docker run ...).	1 year ago
MarcoFalke	fa8a428c92	move-only: Move almost all CI_EXEC code to 06_script_b.sh ... [WARN] The commit is obviously broken and will not run the CI system. In the rare case this is hit in a git bisect, just skip the commit. The goal here was to make it trivial to review with the git option: --color-moved=dimmed-zebra It is required to move everything into one file because "exit 0" will otherwise stop working as intended when the containing bash script is no longer executed with "source ...". If there is desire to split up 06_script_b.sh into logical chunks in the future, it will also be easier after the following commit.	2 years ago
MarcoFalke	fa1dbd04ca	ci: Remove CI_EXEC bloat in test/06_script_b.sh	2 years ago
MarcoFalke	fae8de926a	ci: Move CI container kill out of 06_script_b.sh ... This cleans up 06_script_b.sh to only contain code to be executed inside the CI pod, which avoids confusion and is needed for the next commit.	2 years ago
MarcoFalke	fa0074e2d8	scripted-diff: Bump copyright headers ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	4 years ago
Hennadii Stepanov	09d105ef0f	ci: Drop travis_fold feature as Travis CI is no longer used	4 years ago
MarcoFalke	fa21737ba7	ci: Add environment files for all settings	5 years ago
MarcoFalke	fa31bc35eb	ci: Remove dependence on travis, use it as fallback env	5 years ago