Skip to content

GitHub actions for build pipeline #16

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.

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

Merged
merged 6 commits into from
Sep 11, 2024
Merged

GitHub actions for build pipeline #16

merged 6 commits into from
Sep 11, 2024

Conversation

srush
Copy link
Collaborator

@srush srush commented Sep 11, 2024

Confirm that the build commands wok.

(Don't check this in yet. Need a "mini" split so that it doesn't clone everything)

@srush
Copy link
Collaborator Author

srush commented Sep 11, 2024

Oh looks like we need to make the commit0 build command respect the config that is generated. I'll let you figure this out (test seems to run fine, but it's cloning all the repos!)

@srush
Copy link
Collaborator Author

srush commented Sep 11, 2024

awesome!

@srush srush merged commit a17d06b into main Sep 11, 2024
2 checks passed
@wenting-zhao wenting-zhao deleted the checks branch September 22, 2024 17:38
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.

2 participants