Skip to content

Commit

Permalink
Disabled ghc810-haddock for plutus-ledger-api
Browse files Browse the repository at this point in the history
  • Loading branch information
bezirg committed Sep 10, 2024
1 parent 9e0f711 commit 6c48e89
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -253,9 +253,10 @@
cardano-ledger-babbage.doHaddock = false;
cardano-ledger-shelley.doHaddock = false;
cardano-protocol-tpraos.doHaddock = false;
ouroboros-network.doHaddock = false;
ouroboros-consensus.doHaddock = false;
ouroboros-consensus-cardano.doHaddock = false;
ouroboros-consensus.doHaddock = false;
ouroboros-network.doHaddock = false;
plutus-ledger-api.doHaddock = false;
};
}
];
Expand Down

0 comments on commit 6c48e89

Please sign in to comment.