diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-04-21 21:42:32 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-04-21 21:42:32 +0200 |
| commit | db361d8fdf487066eb9b1f480ff386c619eaac09 (patch) | |
| tree | 351469677791ddee41c75f2e49d079a0238be597 /src/cache.h | |
| parent | e1ac98f67084fe6323490ae36001e7767b3e80e3 (diff) | |
Remove Ubuntu 20.04 from the CI pipeline
It is deprecated and got removed.
See: https://github.com/actions/runner-images/issues/11101
Diffstat (limited to 'src/cache.h')
0 files changed, 0 insertions, 0 deletions