Skip to content

chore(github): add warden configuration#5484

Merged
ericapisani merged 2 commits into
masterfrom
ep/add-warden-github-workflow
Feb 20, 2026
Merged

chore(github): add warden configuration#5484
ericapisani merged 2 commits into
masterfrom
ep/add-warden-github-workflow

Merge branch 'master' into ep/add-warden-github-workflow

3677932
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
GitHub Actions / warden: find-bugs succeeded Feb 20, 2026 in 28s

No issues

find-bugs: No issues found

No issues found.

Duration: 28.0s · Tokens: 51.5k in / 948 out · Cost: $0.09

View more details on GitHub Actions