Skip to content

Migrate to github actions#12

Open
tdido wants to merge 3 commits intomainfrom
1_migrate_gitlab_ci
Open

Migrate to github actions#12
tdido wants to merge 3 commits intomainfrom
1_migrate_gitlab_ci

Conversation

@tdido
Copy link
Member

@tdido tdido commented Feb 21, 2023

Closes #1

@tdido tdido force-pushed the 1_migrate_gitlab_ci branch from 64ef039 to 3d7ac44 Compare February 21, 2023 11:45
@tdido tdido force-pushed the 1_migrate_gitlab_ci branch from 2751500 to 42057d7 Compare February 21, 2023 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Migrate GitLab CI script to GitHub actions

1 participant