Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: fix prax website deploy #31

Merged
merged 2 commits into from
Jun 20, 2024
Merged

ci: fix prax website deploy #31

merged 2 commits into from
Jun 20, 2024

Commits on Jun 20, 2024

  1. ci: fix prax website deploy 

    Restores some crucial Firebase configs to straighten out the CD pipeline
for updating the prax marketing website, hosted on Firebase.
Uses a custom runner, to reduce job time from ~12m on ubuntu-latest to
~5m on the faster version.
    @conorsch @grod220
    conorsch authored and grod220 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    162dff5 View commit details
    Browse the repository at this point in the history

  2. rebase & fix lint

    @grod220
    grod220 committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    4e6d7da View commit details
    Browse the repository at this point in the history