CI clang-format-14 download issue

[danblitzhou]

Describe the bug
clang-format-14 fails to install during CI routine
To Reproduce
Trigger clang-format github actions CI by submitting a PR, example #473

Expected behavior
Package clang-format-14 should be installed

Logs, Stacktraces, and Screenshots
See logs from github actions https://github.com/seahorn/seahorn/actions/runs/3578338950/jobs/6018387276

Desktop (please complete the following information):
CI environment

• OS: Linux (Ubuntu
  20.04.5 LTS)
• LLVM: LLVM-14

Additional context
Add any other context about the problem here.