chore: Update users doc with CircleCI

[meeech]

Checklist:

• Either (a) I've created an enhancement proposal and discussed it with the community, (b) this is a bug fix, or (c) this is a chore.
• The title of the PR is (a) conventional with a list of types and scopes found here, (b) states what changed, and (c) suffixes the related issues number. E.g. "fix(controller): Updates such and such. Fixes #1234".
• I've signed my commits with DCO
• I have written unit and/or e2e tests for my change. PRs without these are unlikely to be merged.
• My builds are green. Try syncing with master if they are not.
• My organization is added to USERS.md.

[sonarcloud]

Kudos, SonarCloud Quality Gate passed!   

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

No Coverage information
No Duplication information

[github-actions]

Go Published Test Results

2 045 tests   2 045 ✔️  2m 39s ⏱️
   118 suites         0 💤
       1 files           0 ❌

Results for commit d1f3b8a.

[codecov]

Codecov Report

Patch and project coverage have no change.

Comparison is base (71545ae) 81.75% compared to head (d1f3b8a) 81.75%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #3028   +/-   ##
=======================================
  Coverage   81.75%   81.75%           
=======================================
  Files         134      134           
  Lines       20395    20395           
=======================================
  Hits        16674    16674           
  Misses       2865     2865           
  Partials      856      856           

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