Skip to content

dev: Switch CI from Travis to GitHub #499

New issue
New issue
Closed
Closed
dev: Switch CI from Travis to GitHub#499

Description

@mihaic
mihaic
opened on Apr 15, 2021

Travis announced some time ago that travis-ci.org will stop working and now it finally happened. We can either move to travis-ci.com or somewhere else. I propose GitHub.

Activity

  1. mihaic
    added 3 commits that reference this issue on May 24, 2021

    Add GitHub Actions

    4476b6b

    Add GitHub Actions

    06e3bac

    Add GitHub Actions (#502)

    ae2d00b

  2. mihaic commented on Nov 16, 2024

    @mihaic
    mihaic
    on Nov 16, 2024
    MemberAuthor

    Fixed by PR #502.

  3. mihaic
    closed this as completedon Nov 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions