Skip to content

Merge branch 'main' of github.com:UNICT-DMI/Welcome-Bot #8

Merge branch 'main' of github.com:UNICT-DMI/Welcome-Bot

Merge branch 'main' of github.com:UNICT-DMI/Welcome-Bot #8

Annotations

13 warnings

build  /  build-and-push-image

succeeded Mar 30, 2024 in 25s