Skip to content

ci: build and test in devel docker image#272

Merged
guocuimi merged 7 commits intomainfrom
run_in_docker
Jul 11, 2024
Merged

ci: build and test in devel docker image#272
guocuimi merged 7 commits intomainfrom
run_in_docker

Conversation

@guocuimi
Copy link
Collaborator

No description provided.

@guocuimi guocuimi merged commit 41095c4 into main Jul 11, 2024
@guocuimi guocuimi deleted the run_in_docker branch July 11, 2024 07:16
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.

1 participant