Skip to content

Actions: buzden/deptycheck

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
521 workflow runs
521 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1077: Pull request #256 opened by buzden
April 3, 2025 15:05 1s arb-order-of-ext-args
arb-order-of-ext-args
April 3, 2025 15:05 1s
[ ux ] Support arbitrary order of given arguments in derivation tasks Lint #1076: Commit 0947256 pushed by buzden
April 3, 2025 15:03 3m 38s arb-order-of-ext-args
arb-order-of-ext-args
April 3, 2025 15:03 3m 38s
[ pp ] Change derived gen pretty-printer to use elab's resugaring Lint #1075: Commit 6456915 pushed by buzden
March 31, 2025 14:44 3m 39s pprint-code-through-elab
pprint-code-through-elab
March 31, 2025 14:44 3m 39s
[ relax ] Treat as weightable any type containing direct recursion Lint #1074: Commit 0b9874d pushed by buzden
March 27, 2025 13:39 3m 35s structurally-decr-mutrec
structurally-decr-mutrec
March 27, 2025 13:39 3m 35s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1073: Pull request #252 synchronize by buzden
March 27, 2025 13:38 1s structurally-decr
structurally-decr
March 27, 2025 13:38 1s
[ fix ] Take only omega arguments into account when computing weight Lint #1072: Commit 1450b3d pushed by buzden
March 27, 2025 13:38 3m 29s structurally-decr
structurally-decr
March 27, 2025 13:38 3m 29s
[ gen ] Make (<*>) and (>>=) polymorphic by Emptiness Lint #1071: Commit 43db773 pushed by buzden
March 27, 2025 12:47 3m 35s master
master
March 27, 2025 12:47 3m 35s
[ gen ] Make (<*>) and (>>=) polymorphic by Emptiness Lint #1070: Pull request #251 synchronize by buzden
March 27, 2025 12:13 3m 35s spcfox:poly-ops
spcfox:poly-ops
March 27, 2025 12:13 3m 35s
[ relax ] Treat as weightable any type containing direct recursion Lint #1069: Commit a55f922 pushed by buzden
March 27, 2025 10:33 3m 29s structurally-decr-mutrec
structurally-decr-mutrec
March 27, 2025 10:33 3m 29s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1068: Pull request #252 synchronize by buzden
March 27, 2025 10:15 1s structurally-decr
structurally-decr
March 27, 2025 10:15 1s
[ fix ] Take only omega arguments into account when computing weight Lint #1067: Commit 68fbdcc pushed by buzden
March 27, 2025 10:15 3m 30s structurally-decr
structurally-decr
March 27, 2025 10:15 3m 30s
[ experim ] Turn global weak memo Lint #1066: Commit cb83688 pushed by buzden
March 24, 2025 12:54 3m 38s experim-mutrec
experim-mutrec
March 24, 2025 12:54 3m 38s
[ fix ] Take only omega arguments into account when computing weight Lint #1065: Commit 6971809 pushed by buzden
March 24, 2025 11:39 3m 38s structurally-decr-mutrec
structurally-decr-mutrec
March 24, 2025 11:39 3m 38s
[ fix ] Take only omega arguments into account when computing weight Lint #1064: Commit 829cee8 pushed by buzden
March 21, 2025 14:06 3m 34s experim
experim
March 21, 2025 14:06 3m 34s
[ relax ] Treat as weightable any type containing direct recursion Lint #1063: Commit daabe83 pushed by buzden
March 21, 2025 12:40 3m 36s structurally-decr-mutrec
structurally-decr-mutrec
March 21, 2025 12:40 3m 36s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1062: Pull request #252 synchronize by buzden
March 21, 2025 12:40 2s structurally-decr
structurally-decr
March 21, 2025 12:40 2s
[ fixup ] Fix expression of multiple subweights Lint #1061: Commit c086bb7 pushed by buzden
March 21, 2025 12:40 3m 33s structurally-decr
structurally-decr
March 21, 2025 12:40 3m 33s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1060: Pull request #252 synchronize by buzden
March 20, 2025 14:14 1s structurally-decr
structurally-decr
March 20, 2025 14:14 1s
[ experim ] Use only the first direct recursion in the weight Lint #1059: Commit f1c25fe pushed by buzden
March 20, 2025 14:14 3m 36s experim
experim
March 20, 2025 14:14 3m 36s
[ relax ] Treat as weightable any type containing direct recursion Lint #1058: Commit 3327e4b pushed by buzden
March 20, 2025 14:13 3m 31s structurally-decr
structurally-decr
March 20, 2025 14:13 3m 31s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1057: Pull request #252 synchronize by buzden
March 20, 2025 12:26 Skipped structurally-decr
structurally-decr
March 20, 2025 12:26 Skipped
[ relax ] Treat as weightable any type containing direct recursion Lint #1056: Commit 431aaea pushed by buzden
March 20, 2025 12:26 3m 34s structurally-decr
structurally-decr
March 20, 2025 12:26 3m 34s
[ fix ] Refine resulting type of a resulting expression of liftList Lint #1055: Commit 0c715f3 pushed by buzden
March 19, 2025 14:50 3m 36s structurally-decr
structurally-decr
March 19, 2025 14:50 3m 36s
[ fix ] Refine which foldMap is used in the derived code Lint #1054: Commit fe5c5e8 pushed by buzden
March 19, 2025 14:34 3m 35s structurally-decr
structurally-decr
March 19, 2025 14:34 3m 35s
[ fix ] Refine which foldMap is used in the derived code Lint #1053: Commit 96d2569 pushed by buzden
March 19, 2025 14:20 3m 40s structurally-decr
structurally-decr
March 19, 2025 14:20 3m 40s