diff options
author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2023-02-14 21:30:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-14 21:30:54 +0100 |
commit | 06d4f8c7e56816d20636dc3838fa3a9825ad2ac8 (patch) | |
tree | 3e512defcd1daf979ef69ba16b6a5566e9c0aae9 /src/lib/ndpi_utils.c | |
parent | f2f8f9d0ee6d14557d837994b990e6b76b73c910 (diff) |
Update GitHub runners versions (#1889)
See: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
Diffstat (limited to 'src/lib/ndpi_utils.c')
0 files changed, 0 insertions, 0 deletions