Skip to content

update lua/xeus-lua snippets#85

Merged
rgbkrk merged 8 commits into
runtimed:mainfrom
DerThorsten:main
Apr 11, 2026
Merged

update lua/xeus-lua snippets#85
rgbkrk merged 8 commits into
runtimed:mainfrom
DerThorsten:main

Conversation

@DerThorsten
Copy link
Copy Markdown
Contributor

@DerThorsten DerThorsten commented Apr 10, 2026

updated the lua snippets

@SylvainCorlay
Copy link
Copy Markdown
Collaborator

I approved the workflow.

@DerThorsten
Copy link
Copy Markdown
Contributor Author

DerThorsten commented Apr 10, 2026

not realy sure what to do about that error ih the ci https://github.com/runtimed/kernel-testbed/actions/runs/24234748965/job/70757362678?pr=85#step:5:8

@SylvainCorlay
Copy link
Copy Markdown
Collaborator

not realy sure what to do about that error ih the ci https://github.com/runtimed/kernel-testbed/actions/runs/24234748965/job/70757362678?pr=85#step:5:8

We cannot do anything. Only @rgbkrk can bypass this and merge.

@rgbkrk rgbkrk merged commit d381b07 into runtimed:main Apr 11, 2026
19 of 20 checks passed
@rgbkrk
Copy link
Copy Markdown
Member

rgbkrk commented Apr 11, 2026

Shipped and fixed (hopefully) new PRs coming in. Thank you all!

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.

3 participants