Skip to content

move from Circle CI to GitHub Actions #5239

Open
#5544
Open
move from Circle CI to GitHub Actions#5239
#5544
Labels
P2considered for next cyclefeaturesomething newinfrastructurebuild process etc.
@gvwilson

Description

@gvwilson
gvwilson
opened on Jun 20, 2025

Migrate all CI workflows from CircleCI to GitHub Actions

Metadata

Metadata

Assignees

No one assigned

    Labels

    P2considered for next cyclefeaturesomething newinfrastructurebuild process etc.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions