#Import Rust SDK - https://github.com/dagger/dagger/pull/5148

1 messages ยท Page 1 of 1 (latest)

vivid rapids
#

Discussing on a GitHub issue/PR keeps all the context together, and easier to find, but this works too for one offs. Definitely better than DMs!

I am going to check the state of https://github.com/dagger/dagger/pull/5148 to see what else is left before we can merge it. Everything that we can leave for a follow-up, we should. Big discussions and big PRs tend to move slower. I'm all for small incremental improvements. All good ๐Ÿฆ€

gray wasp
#

If we want to cut as much as possible then I guess the only thing is only to make sure the build/test doesn't take 19 minutes. The rest can wait

#

The rest should work

vivid rapids
gray wasp
#

Great comments. I've added some answers, etc. in short i will remove rust/.github/ as the other ci jobs take over this and they shouldn't be needed anymore ๐Ÿ˜„

gray wasp
vivid rapids
gray wasp
#

An invite should be sent now

vivid rapids
#

Accepted!

gray wasp
#

You should be able to extract a personal token then. But you probably already got that far

vivid rapids
#

I've just spotted a problem. Fixing it now. PR coming up shortly.

#

I cancelled that workflow, it should not have run.