emil and Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
101b6a709f
fix: bake promtool into ci-full image, add download timeout, speed up tests
...
CI / auto-merge (pull_request) Has been skipped
CI / validate (pull_request) Waiting to run
- Add promtool to ci-full Dockerfile so it's pre-installed in the
runner image instead of downloaded at runtime on every infra CI run
- Add 60s timeout to _download() in install_tools.py to prevent
indefinite hangs when GitHub release downloads stall
- Use -n 8 workers for test-unit target (3s vs 4s with auto/16)
- Update test_download to mock urlopen instead of urlretrieve
Generated with [Devin](https://devin.ai )
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
2026-07-17 03:31:15 +02:00
devx-ci-bot
4de11bfc18
release: v0.47.2 [skip ci]
2026-07-17 00:45:13 +00:00
gitea-actions-bot
368c87aabf
chore: update badge URLs to commit 4e6bada8 [skip ci]
2026-07-16 14:27:31 +00:00
devx-ci-bot
4f982dc3ba
release: v0.47.1 [skip ci]
2026-07-16 14:26:58 +00:00
gitea-actions-bot
cdf3408a35
chore: update badge URLs to commit e6827cec [skip ci]
2026-07-14 23:19:50 +00:00
devx-ci-bot
8fcac10286
release: v0.47.0 [skip ci]
2026-07-14 23:19:15 +00:00
gitea-actions-bot
08b781f978
chore: update badge URLs to commit 75024199 [skip ci]
2026-07-14 16:30:59 +00:00
devx-ci-bot
ea7566fe6b
release: v0.46.0 [skip ci]
2026-07-14 16:30:24 +00:00
gitea-actions-bot
748baf17eb
chore: update badge URLs to commit b6a7c5d7 [skip ci]
2026-07-14 12:36:06 +00:00
devx-ci-bot
f339df3562
release: v0.45.1 [skip ci]
2026-07-14 12:35:27 +00:00
gitea-actions-bot
5d78377152
chore: update badge URLs to commit 5a9243cc [skip ci]
2026-07-14 01:22:38 +00:00
devx-ci-bot
b8b21cccd5
release: v0.45.0 [skip ci]
2026-07-14 01:21:59 +00:00
gitea-actions-bot
076b470344
chore: update badge URLs to commit 6ee532d4 [skip ci]
2026-07-14 00:55:29 +00:00
devx-ci-bot
53b49ec91c
release: v0.44.2 [skip ci]
2026-07-14 00:54:56 +00:00
gitea-actions-bot
83ea4496e5
chore: update badge URLs to commit 52dfd18c [skip ci]
2026-07-14 00:48:24 +00:00
devx-ci-bot
adb94bf96f
release: v0.44.1 [skip ci]
2026-07-14 00:47:49 +00:00
gitea-actions-bot
5468a6f4af
chore: update badge URLs to commit a9cb1ef1 [skip ci]
2026-07-13 23:56:25 +00:00
devx-ci-bot
79830b52e7
release: v0.44.0 [skip ci]
2026-07-13 23:55:52 +00:00
gitea-actions-bot
68f0872134
chore: update badge URLs to commit 08f1c46f [skip ci]
2026-07-13 05:03:21 +00:00
devx-ci-bot
888cc4e3b2
release: v0.43.0 [skip ci]
2026-07-13 05:02:47 +00:00
gitea-actions-bot
772e1b1c6d
chore: update badge URLs to commit 29e3ef9c [skip ci]
2026-07-13 02:59:23 +00:00
devx-ci-bot
bdfe2c561b
release: v0.42.0 [skip ci]
2026-07-13 02:58:46 +00:00
gitea-actions-bot
e5488fcfbd
chore: update badge URLs to commit ae591a0c [skip ci]
2026-07-13 02:27:15 +00:00
devx-ci-bot
1a60739b5a
release: v0.41.2 [skip ci]
2026-07-13 02:26:42 +00:00
gitea-actions-bot
7b624b0525
chore: update badge URLs to commit 9175bdc9 [skip ci]
2026-07-13 01:39:18 +00:00
devx-ci-bot
570de94575
release: v0.41.1 [skip ci]
2026-07-13 01:38:46 +00:00
gitea-actions-bot
35f4fb7172
chore: update badge URLs to commit 691cdd2c [skip ci]
2026-07-13 01:20:22 +00:00
emil
945b45b641
release: v0.41.0 [skip ci]
2026-07-13 03:10:59 +02:00
gitea-actions-bot
9e59acd485
chore: update badge URLs to commit 6b281bd3 [skip ci]
2026-07-13 01:06:16 +00:00
gitea-actions-bot
b923e47d81
chore: update badge URLs to commit f13acf06 [skip ci]
2026-07-12 20:02:08 +00:00
gitea-actions-bot
0c7837fb0e
chore: update badge URLs to commit 51c7146d [skip ci]
2026-07-12 16:35:39 +00:00
devx-ci-bot
59d6fa1833
release: v0.40.1 [skip ci]
2026-07-12 16:34:45 +00:00
gitea-actions-bot
5987adee64
chore: update badge URLs to commit a22225af [skip ci]
2026-07-12 01:53:50 +00:00
gitea-actions-bot
ed0dfce98b
chore: update badge URLs to commit 2747061d [skip ci]
2026-07-11 23:09:11 +00:00
devx-ci-bot
c244881f22
release: v0.40.0 [skip ci]
2026-07-11 23:08:23 +00:00
gitea-actions-bot
d675889604
chore: update badge URLs to commit c9f25c13 [skip ci]
2026-07-09 11:54:42 +00:00
devx-ci-bot
e23138e731
release: v0.39.0 [skip ci]
2026-07-09 11:53:12 +00:00
gitea-actions-bot
8d9ee1ea26
chore: update badge URLs to commit 931a4a37 [skip ci]
2026-07-08 20:20:51 +00:00
gitea-actions-bot
cb126e83da
chore: update badge URLs to commit 37543185 [skip ci]
2026-07-08 19:31:39 +00:00
devx-ci-bot
281193c741
release: v0.38.0 [skip ci]
2026-07-08 19:30:58 +00:00
gitea-actions-bot
981d3e41cc
chore: update badge URLs to commit fe187115 [skip ci]
2026-07-07 22:02:05 +00:00
devx-ci-bot
3cd2459eef
release: v0.37.0 [skip ci]
2026-07-07 22:01:14 +00:00
gitea-actions-bot
05922eca2f
chore: update badge URLs to commit bff19e05 [skip ci]
2026-07-07 15:53:21 +00:00
devx-ci-bot
05de2b0aa9
release: v0.36.2 [skip ci]
2026-07-07 15:52:35 +00:00
gitea-actions-bot
ad7b52c368
chore: update badge URLs to commit d9423d85 [skip ci]
2026-07-07 12:05:28 +00:00
devx-ci-bot
6b81e1a50a
release: v0.36.1 [skip ci]
2026-07-07 12:04:41 +00:00
devx-ci-bot
1d7bf7118a
release: v0.36.0 [skip ci]
2026-07-07 11:58:00 +00:00
devx-ci-bot
40a94df029
release: v0.35.7 [skip ci]
2026-07-06 13:22:27 +00:00
devx-ci-bot
bbb264efc9
release: v0.35.6 [skip ci]
2026-07-06 13:00:59 +00:00
devx-ci-bot
32b9a53151
release: v0.35.5 [skip ci]
2026-07-06 09:46:57 +00:00
