Commit 75c08f03 authored by Jan Kiene's avatar Jan Kiene
Browse files

add cast for project id

parent 7a06d73b

ci/setup_pages.py

+1 −1
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ PUBLIC_FOLDER = pathlib.Path("./public") 


def main():



    project_id = os.environ["CI_PROJECT_ID"]

    project_id = int(os.environ["CI_PROJECT_ID"])

    jobs = JOBS_FOR_PROJECT_ID[project_id]



    PUBLIC_FOLDER.mkdir()