Skip to content

Fix CI#91

Merged
wallstop merged 3 commits intomainfrom
dev/wallstop/fix-ci
Feb 12, 2026
Merged

Fix CI#91
wallstop merged 3 commits intomainfrom
dev/wallstop/fix-ci

Conversation

@wallstop
Copy link
Copy Markdown
Owner

Description

Attempt to fix Miri CI caching issue

Type of Change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (fix or feature that would cause existing functionality to change)
  • 📚 Documentation (changes to documentation only)
  • ♻️ Refactor (code change that neither fixes a bug nor adds a feature)
  • 🧪 Test (adding or updating tests)
  • 🔧 CI/Build (changes to CI configuration or build process)

Checklist

Required

  • I have read the CONTRIBUTING guide
  • I have followed the zero-panic policy:
    • No unwrap() in production code
    • No expect() in production code
    • No panic!() or todo!()
    • All fallible operations return Result
  • I have added tests that prove my fix is effective or my feature works
  • I have run cargo fmt && cargo clippy --all-targets with no warnings
  • I have run cargo nextest run and all tests pass

If Applicable

  • I have updated the documentation accordingly
  • I have added an entry to CHANGELOG.md for user-facing changes
  • I have updated relevant examples in the examples/ directory
  • My changes generate no new compiler warnings

Testing

Tests added/modified:

  • (None)

Manual testing performed:

  • (None)

Related Issues


@wallstop wallstop merged commit 0def524 into main Feb 12, 2026
38 checks passed
@wallstop wallstop deleted the dev/wallstop/fix-ci branch February 12, 2026 21:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant