Message ID | 970548e2-e888-4d79-6eb2-789a6e75a872@gnuweeb.org (mailing list archive) |
---|---|
State | New |
Headers | show |
Series | [GIT,PULL] GitHub bot update | expand |
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.