Timmy Jose

Wow. This doesn't sound good. I tested the original WYAS code, and it works fine. I guess I'll use that project then.

> For example in rustlings we can keep track of the completion of every exercise For now, one hack that works is - launch the site locally using `mdbook`, go...

Looks like this issue will never be fixed.

Hmm. I thought I was missing something in the docs, but versioning support is not really present right now from the looks of it. That's too bad - option 1...

@RustChater > test.yaml > > ``` > name: Test > on: > push: > branches: [ main ] > pull_request: > branches: [ main ] > > jobs: > build:...

@Dirreke Thank you for your response! It is useful as a starting point for me. I am not very familiar with C++'s ecosystem, but here is my exact usecase (in...

@Dirreke Thank you again for the help, Dirreke. I had in fact tried that very same command after reading the `cargo ndk` docs again 😄. Unfortunately, that env is set...

> I forgot to type the `--sysroot`. It should be `BINDGEN_EXTRA_CLANG_ARGS​ = ​"​--sysroot ${TOOLCHAIN_PATH}＂` Yes, the command I'd tried was this, including the `--sysroot`: ``` BINDGEN_EXTRA_CLANG_ARGS="--sysroot ${CARGO_NDK_SYSROOT_PATH}" cargo ndk --target...

@Dirreke Your suggestions led to the build working successfully! 😄 ``` SYSROOT_PATH="$ANDROID_NDK_HOME/toolchains/llvm/prebuilt/linux-x86_64/sysroot/usr/lib/aarch64-linux-android" BINDGEN_EXTRA_CLANG_ARGS="--sysroot ${SYSROOT_PATH}" cargo ndk --bindgen --target aarch64-linux-android --platform 21 -- build --release ``` worked. Thank you so much!...

> It has something to do with ambiguous name resolution, this typechecks: > > ``` > foo : Int -> Int > foo x = case isLT of > Yes'...