Skip to content

ci: improve housekeeping setup - #159

Merged
fabian-braun merged 1 commit into
mainfrom
port-tinybitset-housekeeping
Sep 24, 2026
Merged

fabian-braun merged 1 commit into
mainfrom
port-tinybitset-housekeeping

Conversation

@fabian-braun

Copy link
Copy Markdown
Contributor

Ports the housekeeping improvements from moia-oss/tinybitset#28:

  • update tools & rust automatically
  • introduce mise managed tools and version updates with cooldown period
  • introduce cooldown period for dependabot updates
  • rely on newer GH action actions-rust-lang/setup-rust-toolchain for setting up rust based on toolchain files

Differences from the tinybitset PR to fit this repo:

  • kept the msrv-check job, now installing cargo-msrv via mise instead of cargo-binstall
  • dropped the nightly cargo-udeps check instead of migrating it; it will be replaced by a cargo-machete check in the PR checks as a follow-up
  • removed the redundant homepage field from Cargo.toml (same cargo::redundant_homepage lint fix as tinybitset, now enforced because setup-rust-toolchain denies build warnings)

Crafted with AI help. Hold me accountable for slop though :)

Ports the housekeeping improvements from moia-oss/tinybitset#28:

- update tools & rust automatically
- introduce mise managed tools and version updates with cooldown period
- introduce cooldown period for dependabot updates
- rely on newer GH action actions-rust-lang/setup-rust-toolchain for
  setting up rust based on toolchain files

The nightly cargo-udeps check is dropped instead of migrated; it will
be replaced by a cargo-machete check in the PR checks as a follow-up.

Co-Authored-By: Claude <noreply@anthropic.com>
@fabian-braun
fabian-braun marked this pull request as ready for review September 24, 2026 14:39
@fabian-braun
fabian-braun enabled auto-merge (squash) September 24, 2026 14:39
@fabian-braun
fabian-braun merged commit 443ccfb into main Sep 24, 2026
3 checks passed
@fabian-braun
fabian-braun deleted the port-tinybitset-housekeeping branch September 24, 2026 14:42
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.

2 participants