Skip to content

chore: promote dev to main — api v0.13.0 (Mantis #1217, audit COMPLIANT)#6

Merged
Snider merged 1 commit into
mainfrom
dev
Apr 30, 2026
Merged

chore: promote dev to main — api v0.13.0 (Mantis #1217, audit COMPLIANT)#6
Snider merged 1 commit into
mainfrom
dev

Conversation

@Snider
Copy link
Copy Markdown
Contributor

@Snider Snider commented Apr 30, 2026

Brings v0.13.0 to main. Closes Mantis #1217.

Drive api to audit-COMPLIANT verdict by clearing the 6 result-discards.
Audit verdict: COMPLIANT (every counter at 0). Build/vet/test all clean.

Closes tasks.lthn.sh/view.php?id=1217

Co-authored-by: Codex <noreply@openai.com>
@Snider Snider merged commit dc39d29 into main Apr 30, 2026
2 checks passed
@sonarqubecloud
Copy link
Copy Markdown

@sonarqubecloud
Copy link
Copy Markdown

@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 30, 2026

Codecov Report

❌ Patch coverage is 0% with 4 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
go/cmd/gateway/main.go 0.00% 4 Missing ⚠️

📢 Thoughts on this report? Let us know!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant