diff options
| author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2024-10-15 15:12:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-15 15:12:18 +0200 |
| commit | 68ed870e4991d103485a90f5d132bafcf96ad6d4 (patch) | |
| tree | 13b8f8b83805d9a6965e6769e9d43b03cce73f0e /src | |
| parent | 8299f5abab3aed58e7f85080f235c2767a87ac22 (diff) | |
CI: remove macos-12 (#2592)
It is deprecated and will be removed from GitHub.
See: https://github.com/actions/runner-images/issues/10721
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions