Morten Piibeleht

This indeed comes from the parser. The dollar sign gets interpreted as a form of variable interpolation (not the usual one, but one than happens when the Markdown in docstrings...

As a user workaround you should be able to escape the dollar signs by sort of double escaping everything: `""" \\\$100.0 """` actually. To have the singly-escaped string working, it...

There should be the note added in #739. But happy to take a PR if you think it can be improved.

Is this fix backwards compatible with Julia versions that don't include the JuliaLang/julia/pull/45367 fix?

I'd be happy to have the tests be version-guarded, although that would mean waiting for JuliaLang/julia#45367 to get merged.

> We can disambiguate the user/repo case from this one by only triggering the GitHub-upload path if the given path is not an absolute path. In my case I am...

Is `--output-bin` the `products/` directory? Also, this is possibly a very silly question: is there also a step where the artifacts get copied from `products/` into the top depot? I...

I updated the PR to the `--output*` design. I didn't touch the `--deploy` yet, so I think `--deploy=local` is still necessary when working locally, and I am still defaulting to...

I probably should have added "eventually" :laughing: It's not too catastrophic -- it seems to be recursively copying the files at about a rate of a few tens of MB/s...

To be fair, I am not sure whether it even makes sense to disable one and not another. But if it doesn't, maybe it would make sense to merge them...