Skip to content

Actions: buzden/deptycheck

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] Fix derivation when args have both determiners and determinees Lint #1135: Commit fcbbd29 pushed by buzden
April 23, 2025 15:54 3m 47s master
master
April 23, 2025 15:54 3m 47s
[ derive ] Get and use a list of anyway-determined-args despite an error Lint #1134: Commit 467db68 pushed by buzden
April 23, 2025 15:16 3m 42s leo-bug
leo-bug
April 23, 2025 15:16 3m 42s
[ derive ] Get and use a list of anyway-determined-args despite an error Lint #1133: Commit 05123de pushed by buzden
April 23, 2025 14:27 3m 41s leo-bug
leo-bug
April 23, 2025 14:27 3m 41s
[ fix ] Rename bound implicits in a determined non-cons expressions Lint #1132: Commit 217009a pushed by buzden
April 23, 2025 10:34 3m 42s master
master
April 23, 2025 10:34 3m 42s
[ fix ] Rename bound implicits in a determined non-cons expressions Lint #1131: Commit cad8509 pushed by buzden
April 23, 2025 09:32 3m 45s det-noncons-fixup
det-noncons-fixup
April 23, 2025 09:32 3m 45s
[ ux ] Change a couple of error messages to be slightly more concrete Lint #1130: Commit e586fc5 pushed by buzden
April 23, 2025 09:31 3m 50s master
master
April 23, 2025 09:31 3m 50s
[ ux ] Change a couple of error messages to be slightly more concrete Lint #1129: Commit 342ce75 pushed by buzden
April 23, 2025 08:56 3m 46s better-err-msgs
better-err-msgs
April 23, 2025 08:56 3m 46s
[ ux ] Change a couple of error messages to be slightly more concrete Lint #1128: Commit 051bbc6 pushed by buzden
April 23, 2025 08:55 56s better-err-msgs
better-err-msgs
April 23, 2025 08:55 56s
[ 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