Optimize the pipelines

#39 (closed) was fixed by disabling the cache for semgrep-sast. I should critically review the time taken for all steps in all jobs and identify any other work that can be avoided as well. We owe the environment to burn no more CPU cycles than necessary.