diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index 8de5d55..068177a 100644 --- a/.github/workflows/miri.yml +++ b/.github/workflows/miri.yml @@ -3,6 +3,7 @@ name: Miri on: push: branches: ["develop"] + pull_request: {} workflow_dispatch: {} permissions: diff --git a/src/builder.rs b/src/builder.rs index 3a78131..f47a7dc 100644 --- a/src/builder.rs +++ b/src/builder.rs @@ -146,7 +146,10 @@ impl Counter { /// The number of generations used for training. This is taken from the [FSST paper]. /// /// [FSST paper]: https://www.vldb.org/pvldb/vol13/p2649-boncz.pdf +#[cfg(not(miri))] const MAX_GENERATIONS: usize = 5; +#[cfg(miri)] +const MAX_GENERATIONS: usize = 2; impl Compressor { /// Build and train a `Compressor` from a sample corpus of text.