Skip to content

Draft: drop circle-ci use github action instead #78

Open
Open
Draft: drop circle-ci use github action instead#78
@coldnew

Description

@coldnew
coldnew
opened on Oct 17, 2025

we should no longer use circle-ci anymore, just use github action instead.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions