Skip to content

Run the 11 real-Redis store tests in CI - #46

Closed
ice-zeus wants to merge 2 commits into
mainfrom
task/26-redis-store-tests
Closed

ice-zeus wants to merge 2 commits into
mainfrom
task/26-redis-store-tests

Conversation

@ice-zeus

Copy link
Copy Markdown
Contributor

Closes #26

Work in progress: proof runs and timings follow.

🤖 Generated with Claude Code

ice-zeus and others added 2 commits November 10, 2026 18:44
rust-test runs nextest through tests/allowance-redis.sh with
--run-ignored all, so the store tests run against a private Redis
(pinned image, --network none, Unix socket, no published port).

Closes #26

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…he rust-test wrapper

The redis image hands /data to its own user, which under rootless
Docker is another host user, so cleanup could not remove the folder
from a sticky /tmp. Mount a subfolder instead.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@ice-zeus

Copy link
Copy Markdown
Contributor Author

Replaced by #49 (same tree, one commit without attribution lines).

@ice-zeus ice-zeus closed this Nov 10, 2026
@ice-zeus
ice-zeus deleted the task/26-redis-store-tests branch November 10, 2026 15:46
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.

Run the 11 real-Redis store tests in CI

1 participant