diff --git a/.github/workflows/broken-links.yml b/.github/workflows/broken-links.yml index 95bf1de64ae..c0fa2f6403b 100644 --- a/.github/workflows/broken-links.yml +++ b/.github/workflows/broken-links.yml @@ -25,316 +25,299 @@ jobs: runs-on: [plutus-shared, self-hosted] steps: - name: Check Broken Links - run: | - IGNORE_URLS=( - --ignore-url "https://plutus.cardano.intersectmbo.org/haddock/.*" - ) - URL="https://plutus.cardano.intersectmbo.org/docs" - nix develop --no-warn-dirty --accept-flake-config --command \ - linkchecker --no-warnings --check-extern --output failures "${URL}" "${IGNORE_URLS[@]}" - if [ $? -ne 0 ]; then - echo "${URL} has broken links, see output above" - exit 1 - fi + uses: ./.github/actions/linkchecker + with: + url: https://plutus.cardano.intersectmbo.org/docs + ignore-urls: | + "https://plutus.cardano.intersectmbo.org/haddock/.*" metatheory: name: Metatheory runs-on: [plutus-shared, self-hosted] steps: - name: Check Broken Links - run: | - URL="https://plutus.cardano.intersectmbo.org/metatheory" - nix develop --no-warn-dirty --accept-flake-config --command \ - linkchecker --no-warnings --check-extern --output failures "${URL}" - if [ $? -ne 0 ]; then - echo "${URL} has broken links, see output above" - exit 1 - fi + uses: ./.github/actions/linkchecker + with: + url: https://plutus.cardano.intersectmbo.org/metatheory haddock: name: Haddock runs-on: [plutus-shared, self-hosted] steps: - name: Check Broken Links - run: | - IGNORE_URLS=( - --ignore-url file:///run/github-runner/plutus-shared/.local/state/cabal/store/.* - --ignore-url https://hackage.haskell.org/package/base-4.18.2.1/docs/Data-Semigroup-Internal.html - --ignore-url https://hackage.haskell.org/package/ghc-9.6.5/docs/-/issues/7100 - --ignore-url https://hackage.haskell.org/package/ghc-boot-th-9.6.5/docs/GHC-ForeignSrcLang-Type.html - --ignore-url https://hackage.haskell.org/package/ghc-boot-th-9.6.5/docs/GHC-LanguageExtensions-Type.html - --ignore-url https://hackage.haskell.org/package/ghc-boot-th-9.6.5/docs/src/GHC.LanguageExtensions.Type.html - --ignore-url .*/plutus-core/... - --ignore-url .*/plutus-core/AlwaysInline - --ignore-url .*/plutus-core/Barbies-Generics-Traversable.html - --ignore-url .*/plutus-core/Barbies-Internal-Containers.html - --ignore-url .*/plutus-core/Barbies-Internal-Trivial.html - --ignore-url .*/plutus-core/Basement-Bits.html - --ignore-url .*/plutus-core/Basement-Nat.html - --ignore-url .*/plutus-core/Basement-Numerical-Subtractive.html - --ignore-url .*/plutus-core/Basement-PrimType.html - --ignore-url .*/plutus-core/Basement-String-Encoding-ASCII7.html - --ignore-url .*/plutus-core/Basement-String-Encoding-ISO_8859_1.html - --ignore-url .*/plutus-core/Basement-String-Encoding-UTF16.html - --ignore-url .*/plutus-core/Basement-String-Encoding-UTF32.html - --ignore-url .*/plutus-core/Cardano-Crypto-DSIGN-Class.html - --ignore-url .*/plutus-core/Cardano-Crypto-DSIGN-EcdsaSecp256k1.html - --ignore-url .*/plutus-core/Cardano-Crypto-DSIGN-Ed25519.html - --ignore-url .*/plutus-core/Cardano-Crypto-DSIGN-SchnorrSecp256k1.html - --ignore-url .*/plutus-core/Cardano-Crypto-Hash-Class.html - --ignore-url .*/plutus-core/Cardano-Crypto-PackedBytes.html - --ignore-url .*/plutus-core/Cardano-Crypto-PinnedSizedBytes.html - --ignore-url .*/plutus-core/Cek-Internal.html - --ignore-url .*/plutus-core/Codec-CBOR-Read.html - --ignore-url .*/plutus-core/Codec-Serialise-Class.html - --ignore-url .*/plutus-core/Control-Applicative-Backwards.html - --ignore-url .*/plutus-core/Control-Applicative-Lift.html - --ignore-url .*/plutus-core/Control-Comonad-Cofree.html - --ignore-url .*/plutus-core/Control-Comonad-Trans-Cofree.html - --ignore-url .*/plutus-core/Control-Composition.html - --ignore-url .*/plutus-core/Control-Lens-At.html - --ignore-url .*/plutus-core/Control-Lens-Cons.html - --ignore-url .*/plutus-core/Control-Lens-Each.html - --ignore-url .*/plutus-core/Control-Lens-Internal-Exception.html - --ignore-url .*/plutus-core/Control-Lens-Internal-Indexed.html - --ignore-url .*/plutus-core/Control-Lens-Internal-Iso.html - --ignore-url .*/plutus-core/Control-Lens-Internal-Prism.html - --ignore-url .*/plutus-core/Control-Lens-Plated.html - --ignore-url .*/plutus-core/Control-Lens-Reified.html - --ignore-url .*/plutus-core/Control-Lens-Wrapped.html - --ignore-url .*/plutus-core/Control-Lens-Zoom.html - --ignore-url .*/plutus-core/Control-Monad-Free-Class.html - --ignore-url .*/plutus-core/Control-Monad-Free.html - --ignore-url .*/plutus-core/Control-Monad-Primitive.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Accum.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Cont.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Except.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Free.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Identity.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Maybe.html - --ignore-url .*/plutus-core/Control-Monad-Trans-RWS-CPS.html - --ignore-url .*/plutus-core/Control-Monad-Trans-RWS-Lazy.html - --ignore-url .*/plutus-core/Control-Monad-Trans-RWS-Strict.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Reader.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Resource-Internal.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Select.html - --ignore-url .*/plutus-core/Control-Monad-Trans-State-Lazy.html - --ignore-url .*/plutus-core/Control-Monad-Trans-State-Strict.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Writer-CPS.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Writer-Lazy.html - --ignore-url .*/plutus-core/Control-Monad-Trans-Writer-Strict.html - --ignore-url .*/plutus-core/Control-Search.html - --ignore-url .*/plutus-core/CostModelGeneration.html - --ignore-url .*/plutus-core/Crypto-ECC-Ed25519Donna.html - --ignore-url .*/plutus-core/Crypto-Error-Types.html - --ignore-url .*/plutus-core/Crypto-Hash-Types.html - --ignore-url .*/plutus-core/Data-Aeson-Key.html - --ignore-url .*/plutus-core/Data-Aeson-KeyMap.html - --ignore-url .*/plutus-core/Data-Aeson-Types-FromJSON.html - --ignore-url .*/plutus-core/Data-Aeson-Types-Internal.html - --ignore-url .*/plutus-core/Data-Aeson-Types-ToJSON.html - --ignore-url .*/plutus-core/Data-Attoparsec-Internal-Types.html - --ignore-url .*/plutus-core/Data-Bifunctor-Biff.html - --ignore-url .*/plutus-core/Data-Bifunctor-Clown.html - --ignore-url .*/plutus-core/Data-Bifunctor-Fix.html - --ignore-url .*/plutus-core/Data-Bifunctor-Flip.html - --ignore-url .*/plutus-core/Data-Bifunctor-Join.html - --ignore-url .*/plutus-core/Data-Bifunctor-Joker.html - --ignore-url .*/plutus-core/Data-Bifunctor-Product.html - --ignore-url .*/plutus-core/Data-Bifunctor-Sum.html - --ignore-url .*/plutus-core/Data-Bifunctor-Tannen.html - --ignore-url .*/plutus-core/Data-Bifunctor-Wrapped.html - --ignore-url .*/plutus-core/Data-Bimap.html - --ignore-url .*/plutus-core/Data-ByteString-Convert.html - --ignore-url .*/plutus-core/Data-ByteString-Internal-Type.html - --ignore-url .*/plutus-core/Data-ByteString-Lazy-Internal.html - --ignore-url .*/plutus-core/Data-ByteString-Short-Internal.html - --ignore-url .*/plutus-core/Data-Csv-Conversion.html - --ignore-url .*/plutus-core/Data-DList-DNonEmpty-Internal.html - --ignore-url .*/plutus-core/Data-DList-Internal.html - --ignore-url .*/plutus-core/Data-Default-Class.html - --ignore-url .*/plutus-core/Data-Dependent-Sum.html - --ignore-url .*/plutus-core/Data-Fix.html - --ignore-url .*/plutus-core/Data-Functor-Base.html - --ignore-url .*/plutus-core/Data-Functor-Constant.html - --ignore-url .*/plutus-core/Data-Functor-Foldable.html - --ignore-url .*/plutus-core/Data-Functor-Reverse.html - --ignore-url .*/plutus-core/Data-Functor-These.html - --ignore-url .*/plutus-core/Data-Functor-Yoneda.html - --ignore-url .*/plutus-core/Data-GADT-DeepSeq.html - --ignore-url .*/plutus-core/Data-GADT-Internal.html - --ignore-url .*/plutus-core/Data-HashMap-Internal-Array.html - --ignore-url .*/plutus-core/Data-HashMap-Internal.html - --ignore-url .*/plutus-core/Data-HashMap-Monoidal.html - --ignore-url .*/plutus-core/Data-HashSet-Internal.html - --ignore-url .*/plutus-core/Data-Hashable-Class.html - --ignore-url .*/plutus-core/Data-IntMap-Internal.html - --ignore-url .*/plutus-core/Data-IntSet-Internal.html - --ignore-url .*/plutus-core/Data-Map-Internal.html - --ignore-url .*/plutus-core/Data-MonoTraversable.html - --ignore-url .*/plutus-core/Data-MultiSet.html - --ignore-url .*/plutus-core/Data-Primitive-Array.html - --ignore-url .*/plutus-core/Data-Primitive-PrimArray.html - --ignore-url .*/plutus-core/Data-Primitive-SmallArray.html - --ignore-url .*/plutus-core/Data-Primitive-Types.html - --ignore-url .*/plutus-core/Data-Profunctor-Choice.html - --ignore-url .*/plutus-core/Data-Profunctor-Closed.html - --ignore-url .*/plutus-core/Data-Profunctor-Composition.html - --ignore-url .*/plutus-core/Data-Profunctor-Mapping.html - --ignore-url .*/plutus-core/Data-Profunctor-Strong.html - --ignore-url .*/plutus-core/Data-Profunctor-Types.html - --ignore-url .*/plutus-core/Data-Profunctor-Unsafe.html - --ignore-url .*/plutus-core/Data-RAList-Tree-Internal.html - --ignore-url .*/plutus-core/Data-Reflection.html - --ignore-url .*/plutus-core/Data-Scientific.html - --ignore-url .*/plutus-core/Data-Semigroup-Traversable-Class.html - --ignore-url .*/plutus-core/Data-Sequence-Internal.html - --ignore-url .*/plutus-core/Data-Sequences.html - --ignore-url .*/plutus-core/Data-Set-Internal.html - --ignore-url .*/plutus-core/Data-Some-GADT.html - --ignore-url .*/plutus-core/Data-Some-Newtype.html - --ignore-url .*/plutus-core/Data-Stream.html - --ignore-url .*/plutus-core/Data-Strict-Either.html - --ignore-url .*/plutus-core/Data-Strict-Maybe.html - --ignore-url .*/plutus-core/Data-Strict-These.html - --ignore-url .*/plutus-core/Data-Strict-Tuple.html - --ignore-url .*/plutus-core/Data-Tagged.html - --ignore-url .*/plutus-core/Data-Text-Encoding-Error.html - --ignore-url .*/plutus-core/Data-Text-Short-Internal.html - --ignore-url .*/plutus-core/Data-These.html - --ignore-url .*/plutus-core/Data-Time-Calendar-Days.html - --ignore-url .*/plutus-core/Data-Time-Clock-Internal-DiffTime.html - --ignore-url .*/plutus-core/Data-Time-Clock-Internal-NominalDiffTime.html - --ignore-url .*/plutus-core/Data-Time-Clock-Internal-UTCTime.html - --ignore-url .*/plutus-core/Data-Time-Clock-Internal-UniversalTime.html - --ignore-url .*/plutus-core/Data-Time-LocalTime-Internal-LocalTime.html - --ignore-url .*/plutus-core/Data-Time-LocalTime-Internal-ZonedTime.html - --ignore-url .*/plutus-core/Data-Tree.html - --ignore-url .*/plutus-core/Data-Tuple-Only.html - --ignore-url .*/plutus-core/Data-UUID-Types-Internal-Builder.html - --ignore-url .*/plutus-core/Data-UUID-Types-Internal.html - --ignore-url .*/plutus-core/Data-Vector-Primitive.html - --ignore-url .*/plutus-core/Data-Vector-Storable.html - --ignore-url .*/plutus-core/Data-Vector-Unboxed-Base.html - --ignore-url .*/plutus-core/Data-Vector.html - --ignore-url .*/plutus-core/Data.html - --ignore-url .*/plutus-core/Flat-Decoder-Types.html - --ignore-url .*/plutus-core/Flat-Filler.html - --ignore-url .*/plutus-core/GHC-Exts-Heap-ClosureTypes.html - --ignore-url .*/plutus-core/GHC-Exts-Heap-Closures.html - --ignore-url .*/plutus-core/GHC-Exts-Heap-InfoTable-Types.html - --ignore-url .*/plutus-core/GHC-Exts-Heap-ProfInfo-Types.html - --ignore-url .*/plutus-core/Hedgehog-Internal-Gen.html - --ignore-url .*/plutus-core/Hedgehog-Internal-Property.html - --ignore-url .*/plutus-core/Hedgehog-Internal-Tree.html - --ignore-url .*/plutus-core/Inline-CallSiteInline.html - --ignore-url .*/plutus-core/Language-Haskell-TH-Datatype.html - --ignore-url .*/plutus-core/Lens-Micro-Internal.html - --ignore-url .*/plutus-core/ListT.html - --ignore-url .*/plutus-core/N - --ignore-url .*/plutus-core/Network-URI.html - --ignore-url .*/plutus-core/NoThunks-Class.html - --ignore-url .*/plutus-core/Numeric-Half-Internal.html - --ignore-url .*/plutus-core/PLC.html - --ignore-url .*/plutus-core/PlutusLedgerApi-Common-SerialisedScript.html - --ignore-url .*/plutus-core/Prettyprinter-Internal.html - --ignore-url .*/plutus-core/Prismatically.html - --ignore-url .*/plutus-core/System-Console-Terminal-Common.html - --ignore-url .*/plutus-core/System-OsString-Internal-Types-Hidden.html - --ignore-url .*/plutus-core/System-Random-Internal.html - --ignore-url .*/plutus-core/System-Random-Stateful.html - --ignore-url .*/plutus-core/Test-QuickCheck-Arbitrary.html - --ignore-url .*/plutus-core/Test-QuickCheck-Function.html - --ignore-url .*/plutus-core/Test-QuickCheck-Gen.html - --ignore-url .*/plutus-core/Test-QuickCheck-GenT-Private.html - --ignore-url .*/plutus-core/Test-QuickCheck-GenT.html - --ignore-url .*/plutus-core/Test-QuickCheck-Modifiers.html - --ignore-url .*/plutus-core/Test-QuickCheck-Property.html - --ignore-url .*/plutus-core/Text-Megaparsec-Error.html - --ignore-url .*/plutus-core/Text-Megaparsec-Internal.html - --ignore-url .*/plutus-core/Text-Megaparsec-Pos.html - --ignore-url .*/plutus-core/Text-Megaparsec-State.html - --ignore-url .*/plutus-core/Text-PrettyPrint-Annotated-WL.html - --ignore-url .*/plutus-core/Utils.html - --ignore-url .*/plutus-core/WithIndex.html - --ignore-url .*/plutus-core/Witherable.html - --ignore-url .*/plutus-core/a_non_- - --ignore-url .*/plutus-core/folder - --ignore-url .*/plutus-core/input - --ignore-url .*/plutus-core/just_case_body - --ignore-url .*/plutus-core/name - --ignore-url .*/plutus-core/nothing_case_body - --ignore-url .*/plutus-ghc-stub/= - --ignore-url .*/plutus-ledger-api/Alonzo.html - --ignore-url .*/plutus-ledger-api/Control-Lens-Wrapped.html - --ignore-url .*/plutus-ledger-api/Control-Monad-Error-Class.html - --ignore-url .*/plutus-ledger-api/Control-Monad-Free.html - --ignore-url .*/plutus-ledger-api/Control-Monad-Trans-Free.html - --ignore-url .*/plutus-ledger-api/Control-Monad-Trans-Resource-Internal.html - --ignore-url .*/plutus-ledger-api/Crypto.html - --ignore-url .*/plutus-ledger-api/Data-Aeson-Types-FromJSON.html - --ignore-url .*/plutus-ledger-api/Data-Aeson-Types-ToJSON.html - --ignore-url .*/plutus-ledger-api/Data-Functor-Rep.html - --ignore-url .*/plutus-ledger-api/Data-Profunctor-Choice.html - --ignore-url .*/plutus-ledger-api/Data-Profunctor-Rep.html - --ignore-url .*/plutus-ledger-api/Data-Profunctor-Unsafe.html - --ignore-url .*/plutus-ledger-api/Data-Semigroup-Traversable-Class.html - --ignore-url .*/plutus-ledger-api/Data-Tagged.html - --ignore-url .*/plutus-ledger-api/Data-Time-Clock-POSIX.html - --ignore-url .*/plutus-ledger-api/GHC.html - --ignore-url .*/plutus-ledger-api/Hedgehog-Internal-Gen.html - --ignore-url .*/plutus-ledger-api/Hedgehog-Internal-Property.html - --ignore-url .*/plutus-ledger-api/Hedgehog-Internal-Tree.html - --ignore-url .*/plutus-ledger-api/ListT.html - --ignore-url .*/plutus-ledger-api/Prettyprinter-Internal.html - --ignore-url .*/plutus-tx-plugin/level - --ignore-url .*/plutus-tx/- - --ignore-url .*/plutus-tx/Algebra-Graph-Class.html - --ignore-url .*/plutus-tx/Basement-Bits.html - --ignore-url .*/plutus-tx/Basement-Monad.html - --ignore-url .*/plutus-tx/Basement-Numerical-Subtractive.html - --ignore-url .*/plutus-tx/Codec-Serialise-Class.html - --ignore-url .*/plutus-tx/Comment.html - --ignore-url .*/plutus-tx/Control-Lens-At.html - --ignore-url .*/plutus-tx/Control-Lens-Each.html - --ignore-url .*/plutus-tx/Control-Lens-Empty.html - --ignore-url .*/plutus-tx/Control-Monad-Error-Class.html - --ignore-url .*/plutus-tx/Control-Monad-Trans-Control.html - --ignore-url .*/plutus-tx/Data-Aeson-Types-FromJSON.html - --ignore-url .*/plutus-tx/Data-Aeson-Types-ToJSON.html - --ignore-url .*/plutus-tx/Data-Default-Class.html - --ignore-url .*/plutus-tx/Data-Functor-Foldable.html - --ignore-url .*/plutus-tx/Data-Hashable-Class.html - --ignore-url .*/plutus-tx/Data-Map-Lazy.html - --ignore-url .*/plutus-tx/Data-MonoTraversable.html - --ignore-url .*/plutus-tx/Data-Reflection.html - --ignore-url .*/plutus-tx/Data-Semigroup-Traversable-Class.html - --ignore-url .*/plutus-tx/Data-Vector-Unboxed-Base.html - --ignore-url .*/plutus-tx/Data.html - --ignore-url .*/plutus-tx/Description.html - --ignore-url .*/plutus-tx/GHC.html - --ignore-url .*/plutus-tx/Lens-Micro-Internal.html - --ignore-url .*/plutus-tx/P.html - --ignore-url .*/plutus-tx/PlutusTx-AssocMap-Map.html - --ignore-url .*/plutus-tx/Prettyprinter-Internal.html - --ignore-url .*/plutus-tx/Safe.html - --ignore-url .*/plutus-tx/System-Random-Internal.html - --ignore-url .*/plutus-tx/Text-PrettyPrint-Annotated-WL.html - --ignore-url .*/plutus-tx/Title.html - --ignore-url .*/plutus-tx/Unrolling.html - --ignore-url .*/plutus-tx/WithIndex.html - --ignore-url .*/prettyprinter-configurable/Prettyprinter.html - --ignore-url .*/plutus-core/src - --ignore-url .*/plutus-tx/src - --ignore-url .*/prettyprinter-configurable/src - ) - URL="https://plutus.cardano.intersectmbo.org/haddock/latest" - nix develop --no-warn-dirty --accept-flake-config --command \ - linkchecker --no-warnings --check-extern --output failures "${URL}" "${IGNORE_URLS}" - if [ $? -ne 0 ]; then - echo "${URL} has broken links, see output above" - exit 1 - fi + uses: ./.github/actions/linkchecker + with: + url: https://plutus.cardano.intersectmbo.org/haddock/latest + ignore-urls: | + "file:///run/github-runner/plutus-shared/.local/state/cabal/store/.*" + "https://hackage.haskell.org/package/base-4.18.2.1/docs/Data-Semigroup-Internal.html" + "https://hackage.haskell.org/package/ghc-9.6.5/docs/-/issues/7100" + "https://hackage.haskell.org/package/ghc-boot-th-9.6.5/docs/GHC-ForeignSrcLang-Type.html" + "https://hackage.haskell.org/package/ghc-boot-th-9.6.5/docs/GHC-LanguageExtensions-Type.html" + "https://hackage.haskell.org/package/ghc-boot-th-9.6.5/docs/src/GHC.LanguageExtensions.Type.html" + ".*/plutus-core/\.\.\." + ".*/plutus-core/AlwaysInline" + ".*/plutus-core/Barbies-Generics-Traversable.html" + ".*/plutus-core/Barbies-Internal-Containers.html" + ".*/plutus-core/Barbies-Internal-Trivial.html" + ".*/plutus-core/Basement-Bits.html" + ".*/plutus-core/Basement-Nat.html" + ".*/plutus-core/Basement-Numerical-Subtractive.html" + ".*/plutus-core/Basement-PrimType.html" + ".*/plutus-core/Basement-String-Encoding-ASCII7.html" + ".*/plutus-core/Basement-String-Encoding-ISO_8859_1.html" + ".*/plutus-core/Basement-String-Encoding-UTF16.html" + ".*/plutus-core/Basement-String-Encoding-UTF32.html" + ".*/plutus-core/Cardano-Crypto-DSIGN-Class.html" + ".*/plutus-core/Cardano-Crypto-DSIGN-EcdsaSecp256k1.html" + ".*/plutus-core/Cardano-Crypto-DSIGN-Ed25519.html" + ".*/plutus-core/Cardano-Crypto-DSIGN-SchnorrSecp256k1.html" + ".*/plutus-core/Cardano-Crypto-Hash-Class.html" + ".*/plutus-core/Cardano-Crypto-PackedBytes.html" + ".*/plutus-core/Cardano-Crypto-PinnedSizedBytes.html" + ".*/plutus-core/Cek-Internal.html" + ".*/plutus-core/Codec-CBOR-Read.html" + ".*/plutus-core/Codec-Serialise-Class.html" + ".*/plutus-core/Control-Applicative-Backwards.html" + ".*/plutus-core/Control-Applicative-Lift.html" + ".*/plutus-core/Control-Comonad-Cofree.html" + ".*/plutus-core/Control-Comonad-Trans-Cofree.html" + ".*/plutus-core/Control-Composition.html" + ".*/plutus-core/Control-Lens-At.html" + ".*/plutus-core/Control-Lens-Cons.html" + ".*/plutus-core/Control-Lens-Each.html" + ".*/plutus-core/Control-Lens-Internal-Exception.html" + ".*/plutus-core/Control-Lens-Internal-Indexed.html" + ".*/plutus-core/Control-Lens-Internal-Iso.html" + ".*/plutus-core/Control-Lens-Internal-Prism.html" + ".*/plutus-core/Control-Lens-Plated.html" + ".*/plutus-core/Control-Lens-Reified.html" + ".*/plutus-core/Control-Lens-Wrapped.html" + ".*/plutus-core/Control-Lens-Zoom.html" + ".*/plutus-core/Control-Monad-Free-Class.html" + ".*/plutus-core/Control-Monad-Free.html" + ".*/plutus-core/Control-Monad-Primitive.html" + ".*/plutus-core/Control-Monad-Trans-Accum.html" + ".*/plutus-core/Control-Monad-Trans-Cont.html" + ".*/plutus-core/Control-Monad-Trans-Except.html" + ".*/plutus-core/Control-Monad-Trans-Free.html" + ".*/plutus-core/Control-Monad-Trans-Identity.html" + ".*/plutus-core/Control-Monad-Trans-Maybe.html" + ".*/plutus-core/Control-Monad-Trans-RWS-CPS.html" + ".*/plutus-core/Control-Monad-Trans-RWS-Lazy.html" + ".*/plutus-core/Control-Monad-Trans-RWS-Strict.html" + ".*/plutus-core/Control-Monad-Trans-Reader.html" + ".*/plutus-core/Control-Monad-Trans-Resource-Internal.html" + ".*/plutus-core/Control-Monad-Trans-Select.html" + ".*/plutus-core/Control-Monad-Trans-State-Lazy.html" + ".*/plutus-core/Control-Monad-Trans-State-Strict.html" + ".*/plutus-core/Control-Monad-Trans-Writer-CPS.html" + ".*/plutus-core/Control-Monad-Trans-Writer-Lazy.html" + ".*/plutus-core/Control-Monad-Trans-Writer-Strict.html" + ".*/plutus-core/Control-Search.html" + ".*/plutus-core/CostModelGeneration.html" + ".*/plutus-core/Crypto-ECC-Ed25519Donna.html" + ".*/plutus-core/Crypto-Error-Types.html" + ".*/plutus-core/Crypto-Hash-Types.html" + ".*/plutus-core/Data-Aeson-Key.html" + ".*/plutus-core/Data-Aeson-KeyMap.html" + ".*/plutus-core/Data-Aeson-Types-FromJSON.html" + ".*/plutus-core/Data-Aeson-Types-Internal.html" + ".*/plutus-core/Data-Aeson-Types-ToJSON.html" + ".*/plutus-core/Data-Attoparsec-Internal-Types.html" + ".*/plutus-core/Data-Bifunctor-Biff.html" + ".*/plutus-core/Data-Bifunctor-Clown.html" + ".*/plutus-core/Data-Bifunctor-Fix.html" + ".*/plutus-core/Data-Bifunctor-Flip.html" + ".*/plutus-core/Data-Bifunctor-Join.html" + ".*/plutus-core/Data-Bifunctor-Joker.html" + ".*/plutus-core/Data-Bifunctor-Product.html" + ".*/plutus-core/Data-Bifunctor-Sum.html" + ".*/plutus-core/Data-Bifunctor-Tannen.html" + ".*/plutus-core/Data-Bifunctor-Wrapped.html" + ".*/plutus-core/Data-Bimap.html" + ".*/plutus-core/Data-ByteString-Convert.html" + ".*/plutus-core/Data-ByteString-Internal-Type.html" + ".*/plutus-core/Data-ByteString-Lazy-Internal.html" + ".*/plutus-core/Data-ByteString-Short-Internal.html" + ".*/plutus-core/Data-Csv-Conversion.html" + ".*/plutus-core/Data-DList-DNonEmpty-Internal.html" + ".*/plutus-core/Data-DList-Internal.html" + ".*/plutus-core/Data-Default-Class.html" + ".*/plutus-core/Data-Dependent-Sum.html" + ".*/plutus-core/Data-Fix.html" + ".*/plutus-core/Data-Functor-Base.html" + ".*/plutus-core/Data-Functor-Constant.html" + ".*/plutus-core/Data-Functor-Foldable.html" + ".*/plutus-core/Data-Functor-Reverse.html" + ".*/plutus-core/Data-Functor-These.html" + ".*/plutus-core/Data-Functor-Yoneda.html" + ".*/plutus-core/Data-GADT-DeepSeq.html" + ".*/plutus-core/Data-GADT-Internal.html" + ".*/plutus-core/Data-HashMap-Internal-Array.html" + ".*/plutus-core/Data-HashMap-Internal.html" + ".*/plutus-core/Data-HashMap-Monoidal.html" + ".*/plutus-core/Data-HashSet-Internal.html" + ".*/plutus-core/Data-Hashable-Class.html" + ".*/plutus-core/Data-IntMap-Internal.html" + ".*/plutus-core/Data-IntSet-Internal.html" + ".*/plutus-core/Data-Map-Internal.html" + ".*/plutus-core/Data-MonoTraversable.html" + ".*/plutus-core/Data-MultiSet.html" + ".*/plutus-core/Data-Primitive-Array.html" + ".*/plutus-core/Data-Primitive-PrimArray.html" + ".*/plutus-core/Data-Primitive-SmallArray.html" + ".*/plutus-core/Data-Primitive-Types.html" + ".*/plutus-core/Data-Profunctor-Choice.html" + ".*/plutus-core/Data-Profunctor-Closed.html" + ".*/plutus-core/Data-Profunctor-Composition.html" + ".*/plutus-core/Data-Profunctor-Mapping.html" + ".*/plutus-core/Data-Profunctor-Strong.html" + ".*/plutus-core/Data-Profunctor-Types.html" + ".*/plutus-core/Data-Profunctor-Unsafe.html" + ".*/plutus-core/Data-RAList-Tree-Internal.html" + ".*/plutus-core/Data-Reflection.html" + ".*/plutus-core/Data-Scientific.html" + ".*/plutus-core/Data-Semigroup-Traversable-Class.html" + ".*/plutus-core/Data-Sequence-Internal.html" + ".*/plutus-core/Data-Sequences.html" + ".*/plutus-core/Data-Set-Internal.html" + ".*/plutus-core/Data-Some-GADT.html" + ".*/plutus-core/Data-Some-Newtype.html" + ".*/plutus-core/Data-Stream.html" + ".*/plutus-core/Data-Strict-Either.html" + ".*/plutus-core/Data-Strict-Maybe.html" + ".*/plutus-core/Data-Strict-These.html" + ".*/plutus-core/Data-Strict-Tuple.html" + ".*/plutus-core/Data-Tagged.html" + ".*/plutus-core/Data-Text-Encoding-Error.html" + ".*/plutus-core/Data-Text-Short-Internal.html" + ".*/plutus-core/Data-These.html" + ".*/plutus-core/Data-Time-Calendar-Days.html" + ".*/plutus-core/Data-Time-Clock-Internal-DiffTime.html" + ".*/plutus-core/Data-Time-Clock-Internal-NominalDiffTime.html" + ".*/plutus-core/Data-Time-Clock-Internal-UTCTime.html" + ".*/plutus-core/Data-Time-Clock-Internal-UniversalTime.html" + ".*/plutus-core/Data-Time-LocalTime-Internal-LocalTime.html" + ".*/plutus-core/Data-Time-LocalTime-Internal-ZonedTime.html" + ".*/plutus-core/Data-Tree.html" + ".*/plutus-core/Data-Tuple-Only.html" + ".*/plutus-core/Data-UUID-Types-Internal-Builder.html" + ".*/plutus-core/Data-UUID-Types-Internal.html" + ".*/plutus-core/Data-Vector-Primitive.html" + ".*/plutus-core/Data-Vector-Storable.html" + ".*/plutus-core/Data-Vector-Unboxed-Base.html" + ".*/plutus-core/Data-Vector.html" + ".*/plutus-core/Data.html" + ".*/plutus-core/Flat-Decoder-Types.html" + ".*/plutus-core/Flat-Filler.html" + ".*/plutus-core/GHC-Exts-Heap-ClosureTypes.html" + ".*/plutus-core/GHC-Exts-Heap-Closures.html" + ".*/plutus-core/GHC-Exts-Heap-InfoTable-Types.html" + ".*/plutus-core/GHC-Exts-Heap-ProfInfo-Types.html" + ".*/plutus-core/Hedgehog-Internal-Gen.html" + ".*/plutus-core/Hedgehog-Internal-Property.html" + ".*/plutus-core/Hedgehog-Internal-Tree.html" + ".*/plutus-core/Inline-CallSiteInline.html" + ".*/plutus-core/Language-Haskell-TH-Datatype.html" + ".*/plutus-core/Lens-Micro-Internal.html" + ".*/plutus-core/ListT.html" + ".*/plutus-core/N" + ".*/plutus-core/Network-URI.html" + ".*/plutus-core/NoThunks-Class.html" + ".*/plutus-core/Numeric-Half-Internal.html" + ".*/plutus-core/PLC.html" + ".*/plutus-core/PlutusLedgerApi-Common-SerialisedScript.html" + ".*/plutus-core/Prettyprinter-Internal.html" + ".*/plutus-core/Prismatically.html" + ".*/plutus-core/System-Console-Terminal-Common.html" + ".*/plutus-core/System-OsString-Internal-Types-Hidden.html" + ".*/plutus-core/System-Random-Internal.html" + ".*/plutus-core/System-Random-Stateful.html" + ".*/plutus-core/Test-QuickCheck-Arbitrary.html" + ".*/plutus-core/Test-QuickCheck-Function.html" + ".*/plutus-core/Test-QuickCheck-Gen.html" + ".*/plutus-core/Test-QuickCheck-GenT-Private.html" + ".*/plutus-core/Test-QuickCheck-GenT.html" + ".*/plutus-core/Test-QuickCheck-Modifiers.html" + ".*/plutus-core/Test-QuickCheck-Property.html" + ".*/plutus-core/Text-Megaparsec-Error.html" + ".*/plutus-core/Text-Megaparsec-Internal.html" + ".*/plutus-core/Text-Megaparsec-Pos.html" + ".*/plutus-core/Text-Megaparsec-State.html" + ".*/plutus-core/Text-PrettyPrint-Annotated-WL.html" + ".*/plutus-core/Utils.html" + ".*/plutus-core/WithIndex.html" + ".*/plutus-core/Witherable.html" + ".*/plutus-core/a_non_-" + ".*/plutus-core/folder" + ".*/plutus-core/input" + ".*/plutus-core/just_case_body" + ".*/plutus-core/name" + ".*/plutus-core/nothing_case_body" + ".*/plutus-ghc-stub/=" + ".*/plutus-ledger-api/Alonzo.html" + ".*/plutus-ledger-api/Control-Lens-Wrapped.html" + ".*/plutus-ledger-api/Control-Monad-Error-Class.html" + ".*/plutus-ledger-api/Control-Monad-Free.html" + ".*/plutus-ledger-api/Control-Monad-Trans-Free.html" + ".*/plutus-ledger-api/Control-Monad-Trans-Resource-Internal.html" + ".*/plutus-ledger-api/Crypto.html" + ".*/plutus-ledger-api/Data-Aeson-Types-FromJSON.html" + ".*/plutus-ledger-api/Data-Aeson-Types-ToJSON.html" + ".*/plutus-ledger-api/Data-Functor-Rep.html" + ".*/plutus-ledger-api/Data-Profunctor-Choice.html" + ".*/plutus-ledger-api/Data-Profunctor-Rep.html" + ".*/plutus-ledger-api/Data-Profunctor-Unsafe.html" + ".*/plutus-ledger-api/Data-Semigroup-Traversable-Class.html" + ".*/plutus-ledger-api/Data-Tagged.html" + ".*/plutus-ledger-api/Data-Time-Clock-POSIX.html" + ".*/plutus-ledger-api/GHC.html" + ".*/plutus-ledger-api/Hedgehog-Internal-Gen.html" + ".*/plutus-ledger-api/Hedgehog-Internal-Property.html" + ".*/plutus-ledger-api/Hedgehog-Internal-Tree.html" + ".*/plutus-ledger-api/ListT.html" + ".*/plutus-ledger-api/Prettyprinter-Internal.html" + ".*/plutus-tx-plugin/level" + ".*/plutus-tx/-" + ".*/plutus-tx/Algebra-Graph-Class.html" + ".*/plutus-tx/Basement-Bits.html" + ".*/plutus-tx/Basement-Monad.html" + ".*/plutus-tx/Basement-Numerical-Subtractive.html" + ".*/plutus-tx/Codec-Serialise-Class.html" + ".*/plutus-tx/Comment.html" + ".*/plutus-tx/Control-Lens-At.html" + ".*/plutus-tx/Control-Lens-Each.html" + ".*/plutus-tx/Control-Lens-Empty.html" + ".*/plutus-tx/Control-Monad-Error-Class.html" + ".*/plutus-tx/Control-Monad-Trans-Control.html" + ".*/plutus-tx/Data-Aeson-Types-FromJSON.html" + ".*/plutus-tx/Data-Aeson-Types-ToJSON.html" + ".*/plutus-tx/Data-Default-Class.html" + ".*/plutus-tx/Data-Functor-Foldable.html" + ".*/plutus-tx/Data-Hashable-Class.html" + ".*/plutus-tx/Data-Map-Lazy.html" + ".*/plutus-tx/Data-MonoTraversable.html" + ".*/plutus-tx/Data-Reflection.html" + ".*/plutus-tx/Data-Semigroup-Traversable-Class.html" + ".*/plutus-tx/Data-Vector-Unboxed-Base.html" + ".*/plutus-tx/Data.html" + ".*/plutus-tx/Description.html" + ".*/plutus-tx/GHC.html" + ".*/plutus-tx/Lens-Micro-Internal.html" + ".*/plutus-tx/P.html" + ".*/plutus-tx/PlutusTx-AssocMap-Map.html" + ".*/plutus-tx/Prettyprinter-Internal.html" + ".*/plutus-tx/Safe.html" + ".*/plutus-tx/System-Random-Internal.html" + ".*/plutus-tx/Text-PrettyPrint-Annotated-WL.html" + ".*/plutus-tx/Title.html" + ".*/plutus-tx/Unrolling.html" + ".*/plutus-tx/WithIndex.html" + ".*/prettyprinter-configurable/Prettyprinter.html" + ".*/plutus-core/src" + ".*/plutus-tx/src" + ".*/prettyprinter-configurable/src" \ No newline at end of file diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index dcb5f315bbb..a96922048e3 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -4,6 +4,7 @@ name: "🔮 Metatheory Site" on: + workflow_dispatch: push: branches: - master diff --git a/scripts/combined-haddock.sh b/scripts/combined-haddock.sh index f73d9114663..8286f25eb8f 100755 --- a/scripts/combined-haddock.sh +++ b/scripts/combined-haddock.sh @@ -212,22 +212,3 @@ if grep -qr "dist-newstyle" "${OUTPUT_DIR}"; then echo "internal error: not all href to dist-newstyle were replaced" exit 1 fi - - -echo "Looking for linkchecker" -if ! command -v linkchecker &> /dev/null; then - echo "linkchecker not found" - exit 0 -fi - - -echo "Running linkchecker" -time linkchecker "${OUTPUT_DIR}/index.html" \ - --no-warnings \ - --output failures \ - --file-output text - - -if [[ "$?" != "0" ]]; then - echo "Found broken or unreachable 'href=' links in the files above (also see ./linkchecker-out.txt)" -fi \ No newline at end of file