Skip to content

Fix ZEIT/now to Vercel #447

@seisman

Description

@seisman

Description of the problem

We use the ZEIT/now service for continuously building the documentation for each commit. Recently, ZEIT changed their name to Vercel (https://vercel.com/blog/zeit-is-now-vercel). The configuration file now.json also changed to vercel.json. We may need to update it accordingly.

I may be wrong here, as I didn't check the documentation carefully.

Metadata

Metadata

Assignees

No one assigned

    Labels

    help wantedHelping hands are appreciatedmaintenanceBoring but important stuff for the core devs

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions