Skip to content

Only run the test-suite with Miri#142

Merged
ia0 merged 1 commit intomainfrom
miri-doc
May 17, 2025
Merged

Only run the test-suite with Miri#142
ia0 merged 1 commit intomainfrom
miri-doc

Conversation

@ia0
Copy link
Owner

@ia0 ia0 commented May 17, 2025

Running the doc tests doesn't work, we get:

fatal error: cross-interpreting doctests is not currently supported by Miri.

See https://github.com/ia0/data-encoding/actions/runs/15084842120/job/42406076267.

Running the doc tests doesn't work, we get:

```
fatal error: cross-interpreting doctests is not currently supported by Miri.
```

See https://github.com/ia0/data-encoding/actions/runs/15084842120/job/42406076267.
@ia0 ia0 merged commit b7fb730 into main May 17, 2025
2 checks passed
@ia0 ia0 deleted the miri-doc branch May 17, 2025 12:10
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.

1 participant