[Merged by Bors] - update demos for 23.7

adwk67 commented 1 year ago

Description

N.B. DO NOT MERGE UNTIL AFTER RELEASE-23.7!! Keep this PR open until after the release so that e.g. versions 0.0.0-dev can be replaced with 23.7

[x] Code contains useful comments
[x] (Integration-)Test cases added (or not applicable)
[x] Documentation added (or not applicable)
[x] Changelog updated (or not applicable)
[x] Cargo.toml only contains references to git tags (not specific commits or branches)

Once the review is done, comment bors r+ (or bors merge) to merge. Further information

adwk67 commented 11 months ago

bors r+

bors[bot] commented 11 months ago

Pull request successfully merged into main.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.