On 8/9/22 6:55 PM, Ammar Faizi wrote:
> Hi Jens,
>
> Just a single commit to upgrade the OS on the GitHub bot CI.
> "ubuntu-latest" doesn't give the latest version of Ubuntu. Explicitly
> specify "ubuntu-22.04" to get the latest version. This is just like
> commit:
>
> f642f8fd71bf (".github: Upgrade GitHub bot to Ubuntu 22.04 and gcc-11")
>
> ... but for the shellcheck.
>
> Please pull!
Thanks, pulled.
--
Jens Axboe
