Skip to content

Commit

Permalink
Enable Haddock for Agda (#6639)
Browse files Browse the repository at this point in the history
  • Loading branch information
@zeme-wana
zeme-wana authored Nov 6, 2024
1 parent 6fa1bc9 commit c497f0e
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion nix/agda.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,6 @@ rec {
# compiler-nix-name handed to us by haskell.nix will be different, so we need
# to pass it in.
agda-project-module-patch = { compiler-nix-name }: {
packages.Agda.doHaddock = lib.mkForce false;
packages.Agda.package.buildType = lib.mkForce "Simple";
packages.Agda.components.library.enableSeparateDataOutput = lib.mkForce true;
packages.Agda.components.library.postInstall = ''
Expand Down

1 comment on commit c497f0e

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Plutus Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.05.

Benchmark suite Current: c497f0e Previous: 6fa1bc9 Ratio
validation-future-increase-margin-3 680.9 μs 541.2 μs 1.26
validation-stablecoin_2-1 1093 μs 902.9 μs 1.21
validation-stablecoin_2-2 278.4 μs 197.4 μs 1.41
validation-stablecoin_2-3 1468 μs 1182 μs 1.24
validation-stablecoin_2-4 282.9 μs 226.9 μs 1.25
nofib-knights/4x4 18760 μs 17620 μs 1.06
nofib-primetest/10digits 23220 μs 21520 μs 1.08
nofib-queens5x5/fc 246700 μs 223100 μs 1.11
marlowe-semantics/0101020201010201010200010102000201000201010102000102010201010000 424 μs 296.4 μs 1.43
marlowe-semantics/0101080808040600020306010000000302050807010208060100070207080202 1074 μs 751.2 μs 1.43
marlowe-semantics/0104010200020000040103020102020004040300030304040400010301040303 1088 μs 759.2 μs 1.43
marlowe-semantics/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008 1026 μs 719.4 μs 1.43
marlowe-semantics/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63 1428 μs 999.7 μs 1.43
marlowe-semantics/0705030002040601010206030604080208020207000101060706050502040301 1401 μs 971.8 μs 1.44
marlowe-semantics/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607 1441 μs 1008.9999999999999 μs 1.43
marlowe-semantics/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4 1578 μs 1103 μs 1.43
marlowe-semantics/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8 1914 μs 1342 μs 1.43
marlowe-semantics/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a 663.9 μs 465.2 μs 1.43
marlowe-semantics/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91 1066 μs 747.2 μs 1.43
marlowe-semantics/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5 680.5 μs 480.5 μs 1.42
marlowe-semantics/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad 1055 μs 739.9 μs 1.43
marlowe-semantics/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04 424.8 μs 298.3 μs 1.42
marlowe-semantics/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e 1274 μs 888.7 μs 1.43
marlowe-semantics/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260 1088 μs 761.5 μs 1.43
marlowe-semantics/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7 423.3 μs 298.8 μs 1.42
marlowe-semantics/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d 1418 μs 992.9 μs 1.43
marlowe-semantics/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5 2560 μs 1770 μs 1.45
marlowe-semantics/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c 1288 μs 898.3 μs 1.43
marlowe-semantics/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695 1104 μs 774.9 μs 1.42
marlowe-semantics/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1 1073 μs 754.1 μs 1.42
marlowe-semantics/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a 1620 μs 1141 μs 1.42
marlowe-semantics/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d 424.9 μs 299.5 μs 1.42
marlowe-semantics/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db 651.3 μs 458.2 μs 1.42
marlowe-semantics/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455 873.8 μs 762.7 μs 1.15
marlowe-semantics/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a 1161 μs 946.7 μs 1.23
marlowe-semantics/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e 2455 μs 2318 μs 1.06
marlowe-semantics/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71 5841 μs 5502 μs 1.06

This comment was automatically generated by workflow using github-action-benchmark.

CC: @IntersectMBO/plutus-core

Please sign in to comment.