Use github CI #1819

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

Merged

leebyron merged 1 commit into main from ci

Jun 18, 2021

Collaborator

leebyron commented Jun 18, 2021

No description provided.

leebyron force-pushed the ci branch 13 times, most recently from eb85a2b to 985407c Compare

June 18, 2021 06:15


          Use github CI

15a2278

leebyron force-pushed the ci branch from 985407c to 15a2278 Compare

June 18, 2021 06:19

leebyron merged commit d37532e into main

leebyron deleted the ci branch

June 18, 2021 06:21

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet