release/v1.3.7 #127

Merged
myrmidex merged 5 commits from release/v1.3.7 into main 2026-08-06 22:42:12 +02:00
Owner
No description provided.
myrmidex added this to the v1.3.7 milestone 2026-08-06 00:23:44 +02:00
myrmidex added the
bug
label 2026-08-06 00:23:44 +02:00
myrmidex self-assigned this 2026-08-06 00:23:44 +02:00
myrmidex added 4 commits 2026-08-06 00:23:45 +02:00
myrmidex added 1 commit 2026-08-06 21:31:54 +02:00
127 - Remove coverage PR comment from CI workflow
All checks were successful
CI / ci (push) Successful in 18m15s
CI / ci (pull_request) Successful in 31m17s
Build and Push Docker Image / build (push) Successful in 4m33s
ac8845e9c9
myrmidex merged commit ac8845e9c9 into main 2026-08-06 22:42:12 +02:00
myrmidex deleted branch release/v1.3.7 2026-08-06 22:42:12 +02:00
Sign in to join this conversation.
No description provided.