Feature: CI/CD, clear GitHub actions caches post PR merge

[Magnus167]

Automatically clearing caches for branches/refs once they are closed.

Sources:

• 📢 Cache management is now much simpler with ability to list cache metadata and delete cache for a repo. Additionally, Org admins can view usage across repos. actions/cache#1261
• https://docs.github.com/en/rest/actions/cache?apiVersion=2022-11-28#list-github-actions-caches-for-a-repository
• https://docs.github.com/en/rest/actions/cache?apiVersion=2022-11-28#delete-github-actions-caches-for-a-repository-using-a-cache-key

[codecov]

Codecov Report

Merging #1082 (2a54cba) into develop (9ebe93a) will not change coverage.
Report is 1 commits behind head on develop.
The diff coverage is n/a.

❗ Current head 2a54cba differs from pull request most recent head bf2643b. Consider uploading reports for the commit bf2643b to get more accurate results

Additional details and impacted files

@@           Coverage Diff            @@
##           develop    #1082   +/-   ##
========================================
  Coverage    65.24%   65.24%           
========================================
  Files           56       56           
  Lines         5781     5781           
========================================
  Hits          3772     3772           
  Misses        2009     2009