All checks were successful
CI Code / Check spelling (pull_request) Successful in 13s
CI Code / Check coding style (pull_request) Successful in 23s
Publish Docker image / Push Docker image to Docker Hub (push) Successful in 9m1s
CI Code / Linux (ubuntu) (pull_request) Successful in 8m53s
CI Code / Linux (debian) (pull_request) Successful in 9m13s
CI Code / Code Coverage (pull_request) Successful in 9m19s
CI Code / Linux (arch) (pull_request) Successful in 12m39s
Introduce GitHub Actions workflow for automated Docker image publishing to Docker Hub, along with a dedicated Dockerfile in the ci directory to streamline container builds.