more ci updates

[nyurik]

No description provided.

[Copilot]

Pull Request Overview

This PR updates CI configurations and build scripts by refining version checking and documentation generation steps in the justfile and adjusting the dependabot workflow token syntax.

• Updated the check-if-published recipe in justfile to use a package parameter and streamlined version output messages.
• Modified the docs and test-doc recipes for enhanced documentation build control.
• Adjusted the dependabot workflow configuration for token interpolation.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
justfile	Updated check-if-published, docs, and test-doc recipes to improve version detection and documentation generation.
.github/workflows/dependabot.yml	Minor syntax update for the github-token value in the Dependabot workflow.

Comments suppressed due to low confidence (1)

.github/workflows/dependabot.yml:15

• [nitpick] Review the removal of quotes around the secret; while this may work as intended, using quotes can help prevent potential parsing issues in some YAML contexts. Ensure this change is consistent with other workflow files.

github-token: ${{secrets.GITHUB_TOKEN}}

[Copilot]

The new check-if-published command removes logging of the crate name, which could be useful for debugging version mismatch issues. Consider reintroducing a log for the package name to improve traceability.

Suggested change

	set -euo pipefail
	set -euo pipefail
	echo "Checking crate: '{{package}}'"

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 85.13%. Comparing base (01417f6) to head (1ef5a18).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #91   +/-   ##
=======================================
  Coverage   85.13%   85.13%           
=======================================
  Files          13       13           
  Lines         222      222           
  Branches      222      222           
=======================================
  Hits          189      189           
  Misses          7        7           
  Partials       26       26           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.