Skip to content

CI setup for deployment of github pages #56

Open
Open
CI setup for deployment of github pages#56
Labels
high priority

Description

@rishabhKalakoti
rishabhKalakoti
opened on Jan 3, 2020

We need to make sure that beforehand that a PR to be merged, doesn't lead to deployment failure on GitHub pages. Tavis-CI or Circle-CI can be used.

Metadata

Metadata

Assignees

No one assigned

    Labels

    high priority

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions