Skip to content

Commit

Permalink
don't build odds
Browse files Browse the repository at this point in the history
  • Loading branch information
anmonteiro committed Dec 28, 2024
1 parent 0cc3a85 commit cb97345
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions ci/filter.nix
Original file line number Diff line number Diff line change
Expand Up @@ -105,6 +105,8 @@ let

## Broken on GCC14 or clang19
"mopsa"

"odds"
];

ocaml5Ignores = [
Expand Down

0 comments on commit cb97345

Please sign in to comment.