Maximilian Keßler 34f0a41699 change job name		2023-10-19 02:47:45 +02:00
..
deploy	adapt commit message in build repo	2023-10-18 16:25:41 +02:00
build_doc.sh	adjust ci to new build style	2023-10-19 02:21:13 +02:00
configure_git.sh	change job name	2023-10-19 02:47:45 +02:00
deploy_to_build_repo.sh	adjust ci to new build style	2023-10-19 02:21:13 +02:00
print_deploy_message.py	Build rework	2021-10-24 08:35:53 +00:00
setup_build_repo_branch.sh	fix path	2023-10-19 02:21:55 +02:00