Skip to content

chore: CI and dev environment enhancements#12

Merged
kyokuping merged 5 commits intomainfrom
ci/test-infra-update
Feb 27, 2026
Merged

chore: CI and dev environment enhancements#12
kyokuping merged 5 commits intomainfrom
ci/test-infra-update

Conversation

@kyokuping
Copy link
Copy Markdown
Owner

Summary

This PR integrates just, nextest, and tarpaulin to provide an enhanced local development environment.

Key Changes

  • feature: Add justfile for command automation.
  • refactor/optimization: Integrate cargo-nextest for faster feedback in pre-commit.
  • test:
    • Integrated cargo-tarpaulin for local coverage analysis.
    • Set up code coverage environment in codecov.yaml.
  • build: Expanded rust-toolchain.toml to support aarch64-unknown-linux-gnu for cross-platform development.

Details

  • Defined recipes such as just setup, just check-deps, and just coverage to streamline repetitive developer actions.
  • Added aarch64-unknown-linux-gnu to rust-toolchain.toml to ensure consistent cross-compilation across different development machines and CI.

Technical Notes

  • Added cobertura.xml to .gitignore to keep the repository clean.

Quality Control

  • Verified local full-check via just ready.
  • Passed all hooks via pre-commit run --all-files.
  • Confirmed successful compilation for the aarch64 target.

Related Issues

@codecov
Copy link
Copy Markdown

codecov bot commented Feb 27, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

Flag Coverage Δ
rust 90.46% <ø> (+0.84%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.
see 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@kyokuping kyokuping merged commit 42a5888 into main Feb 27, 2026
4 checks passed
@kyokuping kyokuping deleted the ci/test-infra-update branch February 27, 2026 19:38
@kyokuping kyokuping changed the title Ci/test infra update chore: CI and dev environment enhancements Mar 2, 2026
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