workflow updates

[JeffFessler]

The maintainers of julia-actions/setup-julia have deprecated the @latest option, requiring instead specific versions (that will be updated by dependabot).

This PR deals with that deprecation and does other workflow housekeeping:

• use julia-actions
• use julia-versions
• tweak Documenter deploy permissions
• preview Documenter on PR
• dependabot supersedes CompatHelper
• remove redundant coveralls report (just use codecov)
• tweak urls/badges
• actions/checkout@v7
• use workspace with Julia 1.12 (this is likely the most dramatic change.)

[coveralls]

Coverage Report for CI Build 27286666703

Coverage remained the same at 97.835%

Details

• Coverage remained the same as the base build.
• Patch coverage: No coverable lines changed in this PR.
• No coverage regressions found.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

No coverage regressions found.

---

Coverage Stats

Relevant Lines:	231
Covered Lines:	226
Line Coverage:	97.84%
Coverage Strength:	114.73 hits per line

---

💛 - Coveralls

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.83%. Comparing base (6a438d2) to head (33ac372).

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #97   +/-   ##
=======================================
  Coverage   97.83%   97.83%           
=======================================
  Files           8        8           
  Lines         231      231           
=======================================
  Hits          226      226           
  Misses          5        5           

☔ View full report in Codecov by Harness.
📢 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.

[JeffFessler]

@jishnub @fp4code @mkitti
could one of you review this (pretty basic) housekeeping PR?
you are the 3 who have helped the most in the last few years...

maybe also comment on whether you think we should keep testing/supporting julia 1.6?
currently the CI tests "1.6" and "1" and "nightly"
i think it should be "1.10" (as LTS) and "1" (and maybe nightly).

update: actually this PR just jumps ahead to 1.12 so we can use the convenient and recommended workspace config. anyone still using 1.6 can use an older version of this package.

[mkitti]

This looks like a clean house keeping task. I have a few questions:

1. Why is README.md being renamed to readme.md?
2. Why was the Github token not needed before and is needed now?

[JeffFessler]

thanks for taking a look

Why is README.md being renamed to readme.md?

oh, i'm helping maintain quite a few repos and i have scripts that i use to compare to a template and that's what the template has. and all caps are hard for tendonitis

Why was the Github token not needed before and is needed now?

i think it is needed to be able to preview Documenter documentation on PRs:
https://documenter.juliadocs.org/stable/man/hosting/#Authentication:-GITHUB_TOKEN
tbh i am not completely sure about that. it's something i copied from some other repo and it worked...