Marc Herbert de6690f104 .github: upgrade most runners to latest Ubuntu 22.04 ... Let's not fall behind. Ubuntu 22.04 is the latest runner offered by Github: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners Signed-off-by: Marc Herbert <marc.herbert@intel.com>		2023-05-08 12:21:55 +03:00
..
ISSUE_TEMPLATE	github: fix link to bug tracking docs	2020-01-09 11:24:06 +00:00
workflows	.github: upgrade most runners to latest Ubuntu 22.04	2023-05-08 12:21:55 +03:00