Skip to content

Actions: buzden/deptycheck

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ux ] Change a couple of error messages to be slightly more concrete Lint #1127: Commit a9d5aaa pushed by buzden
April 23, 2025 08:15 3m 44s better-err-msgs
better-err-msgs
April 23, 2025 08:15 3m 44s
[ wip ] Wrap into the dot pattern Lint #1126: Commit de0db32 pushed by buzden
April 22, 2025 15:48 3m 49s fixup-rename-bound-implicits-in-detnoncons
fixup-rename-bound-implicits-in-detnoncons
April 22, 2025 15:48 3m 49s
[ wip ] Make implicits in det noncons to be _ Lint #1125: Commit 4c8d8f7 pushed by buzden
April 22, 2025 15:24 3m 39s fixup-rename-bound-implicits-in-detnoncons
fixup-rename-bound-implicits-in-detnoncons
April 22, 2025 15:24 3m 39s
[ fix ] Rename bound implicits in a determined non-cons expressions Lint #1124: Commit 2e35f45 pushed by buzden
April 22, 2025 14:25 3m 36s fixup-rename-bound-implicits-in-detnoncons
fixup-rename-bound-implicits-in-detnoncons
April 22, 2025 14:25 3m 36s
[ fix ] Don't check already fully determined arguments Lint #1123: Commit 5a51745 pushed by buzden
April 16, 2025 13:33 3m 38s master
master
April 16, 2025 13:33 3m 38s
[ fix ] Don't check already fully determined arguments Lint #1122: Commit 4c30a1d pushed by buzden
April 16, 2025 12:58 3m 40s dont-check-determined-givs
dont-check-determined-givs
April 16, 2025 12:58 3m 40s
[ fix ] Don't check already fully determined arguments Lint #1121: Commit 89dff99 pushed by buzden
April 16, 2025 12:18 3m 45s dont-check-determined-givs
dont-check-determined-givs
April 16, 2025 12:18 3m 45s
[ derive ] Be more explicit with the determined expression Lint #1120: Commit 29b8a1d pushed by buzden
April 16, 2025 12:09 3m 40s dont-check-determined-givs
dont-check-determined-givs
April 16, 2025 12:09 3m 40s
[ fix ] Don't check already fully determined arguments Lint #1119: Commit 2895992 pushed by buzden
April 16, 2025 11:49 3m 35s dont-check-determined-givs
dont-check-determined-givs
April 16, 2025 11:49 3m 35s
[ experim ] Fallback when rec deepConArg call is not successful Lint #1118: Commit aec1e7c pushed by buzden
April 15, 2025 16:39 3m 34s dont-check-determined-givs
dont-check-determined-givs
April 15, 2025 16:39 3m 34s
[ experim ] Use only con ret ty for type determined args Lint #1117: Commit 8165cec pushed by buzden
April 15, 2025 16:30 3m 46s experim-type-determ-only-ret
experim-type-determ-only-ret
April 15, 2025 16:30 3m 46s
[ fix ] Don't check already fully determined arguments Lint #1116: Commit 7d4a776 pushed by buzden
April 14, 2025 15:49 3m 49s dont-check-determined-givs
dont-check-determined-givs
April 14, 2025 15:49 3m 49s
[ pp ] Change derived gen pretty-printer to use elab's resugaring Lint #1115: Commit 26c2eac pushed by buzden
April 14, 2025 12:05 3m 41s pprint-code-through-elab
pprint-code-through-elab
April 14, 2025 12:05 3m 41s
[ derive ] Don't spend fuel in structurally decreasing cases Lint #1114: Commit 143a3dd pushed by buzden
April 14, 2025 12:03 3m 38s master
master
April 14, 2025 12:03 3m 38s
[ typo ] Fix one comment Lint #1113: Commit cda8f86 pushed by buzden
April 10, 2025 15:20 3m 39s structurally-decr
structurally-decr
April 10, 2025 15:20 3m 39s
[ label ] Simplify labels management + add a simple printer of labels Lint #1112: Commit d5430a1 pushed by buzden
April 10, 2025 15:19 3m 34s master
master
April 10, 2025 15:19 3m 34s
[ label ] Simplify labels management + add a simple printer of labels Lint #1111: Commit 386bd52 pushed by buzden
April 10, 2025 14:25 3m 36s print-labels
print-labels
April 10, 2025 14:25 3m 36s
[ label ] Simplify labels management + add a simple printer of labels Lint #1110: Commit 13af20c pushed by buzden
April 10, 2025 14:25 41s print-labels
print-labels
April 10, 2025 14:25 41s
[ experim ] Label given args in derived generators Lint #1109: Commit 27ae986 pushed by buzden
April 9, 2025 12:54 3m 36s experim
experim
April 9, 2025 12:54 3m 36s
[ experim ] Label given args in derived generators Lint #1108: Commit 75c59b1 pushed by buzden
April 9, 2025 11:49 3m 43s experim
experim
April 9, 2025 11:49 3m 43s
[ experim ] Label given args in derived generators Lint #1107: Commit 141b8d1 pushed by buzden
April 9, 2025 11:48 42s experim
experim
April 9, 2025 11:48 42s
[ typo ] Fix one comment Lint #1106: Commit 0809621 pushed by buzden
April 8, 2025 17:58 3m 36s structurally-decr
structurally-decr
April 8, 2025 17:58 3m 36s
[ perf ] Try to reduce the footprint of closures in elab scripts Lint #1105: Commit c63cd79 pushed by buzden
April 8, 2025 17:57 1m 7s structurally-decr
structurally-decr
April 8, 2025 17:57 1m 7s
[ ci ] Tune slightly gh ci Lint #1104: Commit 8565949 pushed by buzden
April 8, 2025 17:56 3m 40s master
master
April 8, 2025 17:56 3m 40s
[ ci ] Tune slightly gh ci Lint #1103: Commit cc66f72 pushed by buzden
April 8, 2025 17:19 3m 30s ci-tune
ci-tune
April 8, 2025 17:19 3m 30s