Fix badges and document publishing workflow#1

SaridakisStamatisChristos merged 1 commit intomainSaridakisStamatisChristos/sudoku_dlx:mainfrom

codex/add-ci-and-license-badgeSaridakisStamatisChristos/sudoku_dlx:codex/add-ci-and-license-badgeCopy head branch name to clipboard