Alessio b6ada6371c Fix up a bunch of lint errors and other stuff

2023-10-14 19:45:51 -03:00

..

docker

Create separate build file for the docker image

2023-06-03 10:56:01 -03:00

build-docker.yml

Use the built image for the main pipeline

2023-06-05 18:06:50 -03:00

build.yml

Fix up a bunch of lint errors and other stuff

2023-10-14 19:45:51 -03:00