public inbox for [email protected]
 help / color / mirror / Atom feed
* [GIT PULL] GitHub bot update
@ 2022-08-10  0:55 Ammar Faizi
  2022-08-10 13:01 ` Jens Axboe
  0 siblings, 1 reply; 2+ messages in thread
From: Ammar Faizi @ 2022-08-10  0:55 UTC (permalink / raw)
  To: Jens Axboe
  Cc: Kanna Scarlet, Fernanda Ma'rouf, io-uring Mailing List,
	GNU/Weeb Mailing List

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!

---
The following changes since commit 2757d61fa222739f77b014810894b9ccea79d7f3:

   io_uring-udp: make more obvious what kernel version is required (2022-08-05 08:43:23 -0600)

are available in the Git repository at:

   https://github.com/ammarfaizi2/liburing.git tags/github-bot-2022-08-10

for you to fetch changes up to 487604001a46441888469df44c081e08afd5e3c5:

   .github: Update OS to Ubuntu 22.04 for shellcheck CI (2022-08-10 07:53:14 +0700)

----------------------------------------------------------------
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.

----------------------------------------------------------------
Ammar Faizi (1):
       .github: Update OS to Ubuntu 22.04 for shellcheck CI

  .github/workflows/shellcheck.yml | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)

-- 
Ammar Faizi

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-08-10 13:01 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-08-10  0:55 [GIT PULL] GitHub bot update Ammar Faizi
2022-08-10 13:01 ` Jens Axboe

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox