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

Add script to copy local runtime #207

Merged

sebbi08 merged 9 commits into main from feature/sync-local-runtime

Jul 9, 2024

Contributor

sebbi08 commented Jul 5, 2024 •

edited

Loading

Readiness checklist

I added/updated tests.
I ensured that the PR title is good enough for the changelog.
I labeled the PR.


          chore: add script to copy local runtime

c40f9cf

sebbi08 changed the title ~~chore: add script to copy local runtime~~ Add script to copy local runtime

sebbi08 added the chore label

mergify bot and others added 2 commits

July 5, 2024 07:13


          Merge branch 'main' into feature/sync-local-runtime

afe725c


          chore: fix missing wait for event

8bdd5d6

sebbi08 requested review from jkoenig134 and slavistan and removed request for jkoenig134

July 5, 2024 13:12

slavistan reviewed

View reviewed changes

.dev/scripts/copyRuntime.sh Outdated Show resolved Hide resolved

slavistan reviewed

View reviewed changes

.dev/scripts/copyRuntime.sh Outdated Show resolved Hide resolved

slavistan reviewed

View reviewed changes

.dev/scripts/copyRuntime.sh Outdated Show resolved Hide resolved

slavistan reviewed

View reviewed changes

.dev/scripts/copyRuntime.sh Outdated Show resolved Hide resolved

slavistan reviewed

View reviewed changes

.dev/scripts/copyRuntime.sh Outdated Show resolved Hide resolved

sebbi08 and others added 2 commits

July 8, 2024 12:37


          chore: move runtime link to one script

e768507


          chore: minor changes to linkRuntime.sh

860597d

slavistan previously approved these changes

View reviewed changes

Member

jkoenig134 commented Jul 8, 2024

pls not merge yet, I want to look into it first

mergify bot added 2 commits

July 9, 2024 05:43


          Merge branch 'main' into feature/sync-local-runtime

b48bae8


          Merge branch 'main' into feature/sync-local-runtime

2ee4ae2

jkoenig134 requested changes

View reviewed changes

Member

jkoenig134 left a comment

rest LGTM.

.dev/scripts/linkRuntime.sh Outdated Show resolved Hide resolved


          chore: add white spaces

e209e0f

sebbi08 dismissed slavistan’s stale review via

e209e0f

July 9, 2024 06:51


          Merge branch 'main' into feature/sync-local-runtime

51852a6

jkoenig134 reviewed

View reviewed changes

package.json Show resolved Hide resolved

jkoenig134 approved these changes

View reviewed changes

sebbi08 merged commit e45cf1a into main

9 checks passed

sebbi08 deleted the feature/sync-local-runtime branch

July 9, 2024 11:19

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

Labels

chore