turn miri back on for CI

spiraldb · Aug 20, 2024 · aea4ae3 · aea4ae3
1 parent 17ac1be
commit aea4ae3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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.