Skip to content

Commit

Permalink
Remove MPL from CI tests for now
Browse files Browse the repository at this point in the history
  • Loading branch information
jazullo committed Oct 11, 2023
1 parent 677135a commit f505c5c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion gibbon-compiler/tests/BenchRunner.hs
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ bench_main :: TestConfig -> Tests -> IO ()
bench_main tc (Tests tests) = do
putStrLn "Executing BenchRunner...\n"
let benchmarks = filter (not . skip) $ filter isBenchmark tests
modesToBench = [Gibbon1, Gibbon2, Pointer, MPL]
modesToBench = [Gibbon1, Gibbon2, Pointer] -- Omit MPL for now
results <- mapM (go modesToBench) benchmarks
mc <- getHostname
let csvs = map (\arg -> intercalate "," (mc:arg)) (concat results)
Expand Down

0 comments on commit f505c5c

Please sign in to comment.