message: Fixed CI badge
diff: /></a>
  <a href="https://github.com/argmin-rs/argmin/actions"
  ><img
  - src="https://img.shields.io/github/workflow/status/argmin-rs/argmin/argmin CI/main?label=argmin CI&style=flat-square"
  + src="https://img.shields.io/github/actions/workflow/status/argmin-rs/argmin/ci.yml?branch=main&label=argmin CI&style=flat-square"
  alt="GitHub Actions workflow status"
  /></a>
  <img
  