Commit ecae7231 authored by Jan Kiene's avatar Jan Kiene
Browse files

do nothing for BASOP pages for now

parent 3c1b6994

ci/setup_pages.py

+1 −5
Original line number Diff line number Diff line
@@ -61,11 +61,7 @@ def setup_pages(project_id: int): 
    if project_id == PROJECT_ID_FLOAT_REPO:

        pathlib.Path("ci/index-pages.html").rename(index_html)

    elif project_id == PROJECT_ID_BASOP_REPO:

        mld_files = [f for f in PUBLIC_FOLDER.iterdir() if f.suffix == ".csv"]

        # just to check that there are two files

        with open(index_html, "w") as f:

            for mld_f in mld_files:

                f.write(mld_f.name)

        pass

    else:

        raise ValueError(f"Invalid project ID: '{project_id}'")