7 Commits

Include renames

Author	SHA1	Message	Date
emilandDevin <158243242+devin-ai-integration[bot]@users.noreply.github.com>	9d7b01a468	fix: push-first strategy in build_image to avoid losing latest tag ... The push_image function deleted the existing manifest before pushing (Gitea #31964 workaround). When push failed for other reasons (HTTP 500), the old tag was lost, breaking all CI jobs using that image. Now tries push first, only deletes+retries on "already exists" error. Closes DEVX-159 Generated with [Devin](https://devin.ai) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>	2026-08-26 09:44:45 +02:00
emoandkireto	f94ce03a04	DEVX-158: fix: delete existing manifest before push (Gitea #31964 workaround) ... Co-authored-by: emo <emo@oblachno.com>	2026-08-25 17:26:04 +00:00
emil User	ddfbdec956	DEVX-136: feat: add fix_pr_title module and update_pr API method	2026-07-13 23:55:11 +00:00
emil	4c1ecbf4fa	DEVX-91: refactor: add find_task_by_identifier, config fallbacks for tools	2026-06-28 00:06:29 +00:00
emil	598238e4d6	DEVX-88: fix: correct clean_images delete URL and add retry with error handling	2026-06-27 21:40:49 +00:00
emil	decba5ec77	DEVX-80: chore: update badge URLs to commit 20bcfe96 [skip ci]	2026-06-27 14:56:57 +00:00
emil	c0238e75df	DEVX-68: feat: add pre-built Docker runner images and tested image build/push tools	2026-06-27 01:34:05 +00:00