Skip to content
This repository has been archived by the owner on Oct 11, 2024. It is now read-only.

fix a minor bug for docker build #281

Merged
merged 1 commit into from
Jun 4, 2024
Merged

fix a minor bug for docker build #281

merged 1 commit into from
Jun 4, 2024

Conversation

dhuangnm
Copy link
Member

@dhuangnm dhuangnm commented Jun 4, 2024

status should have an initial value

@dhuangnm dhuangnm merged commit f784deb into main Jun 4, 2024
12 checks passed
@dhuangnm dhuangnm deleted the docker branch June 4, 2024 17:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants