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

[ ci ] Tune slightly gh ci Lint #1102: Pull request #257 opened by buzden
April 8, 2025 17:14 1s ci-tune
ci-tune
April 8, 2025 17:14 1s
[ ci ] Tune slightly gh ci Lint #1101: Commit 9822eb7 pushed by buzden
April 8, 2025 17:13 3m 35s ci-tune
ci-tune
April 8, 2025 17:13 3m 35s
[ perf ] Try to reduce the footprint of closures in elab scripts Lint #1100: Commit fa90ee4 pushed by buzden
April 8, 2025 16:21 3m 41s structurally-decr-mutrec
structurally-decr-mutrec
April 8, 2025 16:21 3m 41s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1099: Pull request #252 synchronize by buzden
April 8, 2025 16:21 1s structurally-decr
structurally-decr
April 8, 2025 16:21 1s
[ perf ] Try to reduce the footprint of closures in elab scripts Lint #1098: Commit fa90ee4 pushed by buzden
April 8, 2025 16:21 3m 40s structurally-decr
structurally-decr
April 8, 2025 16:21 3m 40s
[ perf ] Try to reduce the footprint of closures in elab scripts Lint #1097: Commit da1b970 pushed by buzden
April 8, 2025 15:34 3m 33s structurally-decr-mutrec
structurally-decr-mutrec
April 8, 2025 15:34 3m 33s
[ relax ] Treat as weightable any type containing direct recursion Lint #1096: Commit 24be17b pushed by buzden
April 7, 2025 21:02 3m 37s structurally-decr-mutrec
structurally-decr-mutrec
April 7, 2025 21:02 3m 37s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1095: Pull request #252 synchronize by buzden
April 7, 2025 21:02 1s structurally-decr
structurally-decr
April 7, 2025 21:02 1s
[ fix ] Take only omega arguments into account when computing weight Lint #1094: Commit ecb05e9 pushed by buzden
April 7, 2025 21:02 3m 38s structurally-decr
structurally-decr
April 7, 2025 21:02 3m 38s
[ relax ] Treat as weightable any type containing direct recursion Lint #1093: Commit 32faef8 pushed by buzden
April 7, 2025 17:28 5m 17s structurally-decr-mutrec
structurally-decr-mutrec
April 7, 2025 17:28 5m 17s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1092: Pull request #252 synchronize by buzden
April 7, 2025 17:28 1s structurally-decr
structurally-decr
April 7, 2025 17:28 1s
[ fix ] Take only omega arguments into account when computing weight Lint #1091: Commit c44cf82 pushed by buzden
April 7, 2025 17:28 3m 32s structurally-decr
structurally-decr
April 7, 2025 17:28 3m 32s
[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1090: Commit 160e4b8 pushed by buzden
April 7, 2025 17:18 3m 38s master
master
April 7, 2025 17:18 3m 38s
[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1089: Pull request #256 synchronize by buzden
April 7, 2025 16:44 1s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:44 1s
[ refactor ] Group all util functions together Lint #1088: Commit 7a44e78 pushed by buzden
April 7, 2025 16:44 3m 35s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:44 3m 35s
[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1087: Pull request #256 synchronize by buzden
April 7, 2025 16:19 1s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:19 1s
[ refactor ] Group all util functions together Lint #1086: Commit e06c919 pushed by buzden
April 7, 2025 16:19 3m 44s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:19 3m 44s
[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1085: Pull request #256 synchronize by buzden
April 7, 2025 16:17 1s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:17 1s
[ refactor ] Group all util functions together Lint #1084: Commit f411acf pushed by buzden
April 7, 2025 16:17 2m 28s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:17 2m 28s
[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1083: Pull request #256 synchronize by buzden
April 7, 2025 16:07 Skipped arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:07 Skipped
[ test ] Add full-generator running and printing tests Lint #1082: Commit 1546156 pushed by buzden
April 7, 2025 16:07 3m 49s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 16:07 3m 49s
[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1081: Pull request #256 synchronize by buzden
April 7, 2025 14:28 1s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 14:28 1s
Lint Lint #1080: by buzden
April 7, 2025 14:28 3m 38s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 14:28 3m 38s
[ derive ] Support arbitrary order of arguments in derivation tasks Lint #1079: Pull request #256 synchronize by buzden
April 7, 2025 13:04 1s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 13:04 1s
[ refactor ] Move one single-use function closer to its use cite Lint #1078: Commit 533de86 pushed by buzden
April 7, 2025 13:04 3m 52s arb-order-of-ext-args
arb-order-of-ext-args
April 7, 2025 13:04 3m 52s