Chore tasks: CI and dependencies update, repo links fixup

[dr-orlovsky]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 84.78261% with 7 lines in your changes missing coverage. Please review.

Project coverage is 89.0%. Comparing base (4f023e6) to head (f3a41b5).

Files	Patch %	Lines
num/src/posit.rs	81.8%	4 Missing ⚠️
num/src/bigint.rs	85.7%	3 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff            @@
##           master     #22     +/-   ##
========================================
+ Coverage    88.7%   89.0%   +0.3%     
========================================
  Files           8       8             
  Lines        2389    4669   +2280     
========================================
+ Hits         2118    4154   +2036     
- Misses        271     515    +244     

Flag	Coverage Δ
rust	89.0% <84.8%> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.

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