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

Complete migration to GHA #27918

Merged
merged 6 commits into from
Oct 19, 2023
Merged

Complete migration to GHA #27918

merged 6 commits into from
Oct 19, 2023

Commits on Oct 6, 2023

  1. ci: migrate snapshot test to Github Actions 

    Move snapshot test from CircleCI to Github Actions, additionally runs the tests every 4 hours instead of once per hour.
    @josephperrott
    josephperrott committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    4d7932b View commit details
    Browse the repository at this point in the history

  2. ci: migrate docs site monitoring to Github Actions 

    Move doc site monitoring from CircleCI to Github Actions, additionally runs the tests every 4 hours instead of once per hour.
    @josephperrott
    josephperrott committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    914732a View commit details
    Browse the repository at this point in the history

  3. ci: migrate bazel build job to GHA 

    Migrate the bazel_build job from CircleCI to Github Actions
    @josephperrott
    josephperrott committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    f8763e2 View commit details
    Browse the repository at this point in the history

  4. ci: migrate snapshot publishing job to GHA 

    Migrate the snapshot publishing job from CircleCI to Github Actions
    @josephperrott
    josephperrott committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    0dfa924 View commit details
    Browse the repository at this point in the history

  5. ci: migrate package archive uploading job to GHA 

    Migrate the package archive uploading job from CircleCI to Github Actions
    @josephperrott
    josephperrott committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    07c9ad5 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. ci: migrate deploying doc site job to GHA 

    Migrate the deployment doc site job from CircleCI to Github Actions
    @josephperrott
    josephperrott committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    71baaf5 View commit details
    Browse the repository at this point in the history