Skip to content

Add build.rs and dev.yml files#248

Merged
makrisoft merged 1 commit intomainfrom
ernie/dev-and-buildrs
Mar 1, 2024
Merged

Add build.rs and dev.yml files#248
makrisoft merged 1 commit intomainfrom
ernie/dev-and-buildrs

Conversation

@makrisoft
Copy link
Contributor

#gsd:39011

we need to check if our wasi provider bytes have
changed and rebuild, the new build.rs takes care
of this.

we need to check if our wasi provider bytes have
changed and rebuild, the new build.rs takes care
of this.
@makrisoft makrisoft self-assigned this Feb 29, 2024
@makrisoft makrisoft merged commit a751669 into main Mar 1, 2024
@makrisoft makrisoft deleted the ernie/dev-and-buildrs branch March 1, 2024 16:30
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