Skip to content
This repository has been archived by the owner on May 11, 2024. It is now read-only.

feat(docs): host swagger doc by github page #427

Merged
merged 14 commits into from
Oct 18, 2023
Merged

feat(docs): host swagger doc by github page #427

merged 14 commits into from
Oct 18, 2023

Commits on Oct 16, 2023

  1. swagger

    @RogerLamTd
    RogerLamTd committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    2024139 View commit details
    Browse the repository at this point in the history

  2. add html to be served

    @RogerLamTd
    RogerLamTd committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    a894520 View commit details
    Browse the repository at this point in the history

  3. swagger script

    @RogerLamTd
    RogerLamTd committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    85a0250 View commit details
    Browse the repository at this point in the history

  4. restore license url

    @RogerLamTd
    RogerLamTd committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    8c3f0c4 View commit details
    Browse the repository at this point in the history

  5. prover server API not prover API

    @RogerLamTd
    RogerLamTd committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    81bb08b View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2023

  1. add workflow, update swagger unpkg

    @RogerLamTd
    RogerLamTd committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    5bfd601 View commit details
    Browse the repository at this point in the history

  2. fix workflow

    @RogerLamTd
    RogerLamTd committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    06d8638 View commit details
    Browse the repository at this point in the history

  3. install dependency

    @RogerLamTd
    RogerLamTd committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    d26e865 View commit details
    Browse the repository at this point in the history

  4. Update swagger.yml

    @RogerLamTd
    RogerLamTd authored Oct 17, 2023
    Configuration menu
    Copy the full SHA
    8b36e5d View commit details
    Browse the repository at this point in the history

  5. Update swagger.yml

    @RogerLamTd
    RogerLamTd authored Oct 17, 2023
    Configuration menu
    Copy the full SHA
    3193773 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. Merge branch 'main' into host-swagger-doc

    @davidtaikocha
    davidtaikocha authored Oct 18, 2023
    Configuration menu
    Copy the full SHA
    9f4cd1a View commit details
    Browse the repository at this point in the history

  2. switch to on merge to main workflow

    @RogerLamTd
    RogerLamTd committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    f52daa5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into host-swagger-doc

    @davidtaikocha
    davidtaikocha authored Oct 18, 2023
    Configuration menu
    Copy the full SHA
    fceddbf View commit details
    Browse the repository at this point in the history

  4. feat: update script name

    @davidtaikocha
    davidtaikocha committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    bc480b9 View commit details
    Browse the repository at this point in the history