Skip to content

Actions: buzden/deptycheck

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
521 workflow runs
521 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ gen ] Make (<*>) and (>>=) polymorphic by Emptiness
Lint #1071: Commit 43db773 pushed by buzden
March 27, 2025 12:47 3m 35s 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
March 27, 2025 12:13 3m 35s
[ experim ] Turn global weak memo
Lint #1066: Commit cb83688 pushed by buzden
March 24, 2025 12:54 3m 38s experim-mutrec
March 24, 2025 12:54 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
March 21, 2025 14:06 3m 34s
[ fixup ] Fix expression of multiple subweights
Lint #1061: Commit c086bb7 pushed by buzden
March 21, 2025 12:40 3m 33s structurally-decr
March 21, 2025 12:40 3m 33s
[ 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
March 20, 2025 14:14 3m 36s
[ 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
March 20, 2025 12:26 Skipped
[ 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
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
March 19, 2025 14:20 3m 40s