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

@DerThorsten DerThorsten commented Apr 10, 2026

Copy link
Copy Markdown
Contributor

updated the lua snippets

@SylvainCorlay

Copy link
Copy Markdown
Collaborator

I approved the workflow.

@DerThorsten

DerThorsten commented Apr 10, 2026

Copy link
Copy Markdown
Contributor Author

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

rgbkrk commented Apr 11, 2026

Copy link
Copy Markdown
Member

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