Repository navigation

Improve GitHub CI and dependency maintenance - #2

Merged

beamiter merged 12 commits into

agent/improve-github-ci

Jul 12, 2026

Merged

Improve GitHub CI and dependency maintenance#2
beamiter merged 12 commits into
masterfrom
agent/improve-github-ci

Commits on Jul 12, 2026
- Add comprehensive Rust CI workflow
  beamiter
  committed
  89cd8f7
- Add Dependabot maintenance configuration
  beamiter
  committed
  c96e593
- Add temporary CI diagnostics workflow
  beamiter
  committed
  b9222b5
- Include formatted sources in CI diagnostics
  beamiter
  committed
  c78ae7e
- Add temporary CI bootstrap workflow
  beamiter
  committed
  cc322d0
- Apply Rust formatting and lock dependencies
  github-actions[bot]
  committed
  7544551
- Remove temporary CI diagnostics workflow
  beamiter
  committed
  fe82243
- Remove temporary CI bootstrap workflow
  beamiter
  committed
  f1c83c4
- Add temporary Clippy diagnostics workflow
  beamiter
  committed
  92ffc36
- Report existing Clippy warnings without blocking CI
  beamiter
  committed
  22414e3
- Remove temporary Clippy diagnostics workflow
  beamiter
  committed
  32efb05
- Upgrade checkout action to v7
  beamiter
  committed
  4550068