Skip to content

Actions: buzden/deptycheck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,990 workflow runs
1,990 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DepTyCheck DepTyCheck #2114: Scheduled
April 16, 2025 02:25 33m 44s master
master
April 16, 2025 02:25 33m 44s
[ experim ] Fallback when rec deepConArg call is not successful Non-primary OS #310: Commit aec1e7c pushed by buzden
April 15, 2025 16:39 19s dont-check-determined-givs
dont-check-determined-givs
April 15, 2025 16:39 19s
[ 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 ] Fallback when rec deepConArg call is not successful DepTyCheck #2113: Commit aec1e7c pushed by buzden
April 15, 2025 16:39 33m 17s dont-check-determined-givs
dont-check-determined-givs
April 15, 2025 16:39 33m 17s
[ experim ] Use only con ret ty for type determined args DepTyCheck #2112: Commit 8165cec pushed by buzden
April 15, 2025 16:30 33m 2s experim-type-determ-only-ret
experim-type-determ-only-ret
April 15, 2025 16:30 33m 2s
[ 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
[ experim ] Use only con ret ty for type determined args Non-primary OS #309: Commit 8165cec pushed by buzden
April 15, 2025 16:30 17s experim-type-determ-only-ret
experim-type-determ-only-ret
April 15, 2025 16:30 17s
DepTyCheck DepTyCheck #2111: Scheduled
April 15, 2025 02:25 29m 19s master
master
April 15, 2025 02:25 29m 19s
[ 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
[ fix ] Don't check already fully determined arguments DepTyCheck #2110: Commit 7d4a776 pushed by buzden
April 14, 2025 15:49 58m 55s dont-check-determined-givs
dont-check-determined-givs
April 14, 2025 15:49 58m 55s
[ fix ] Don't check already fully determined arguments Non-primary OS #308: Commit 7d4a776 pushed by buzden
April 14, 2025 15:49 22s dont-check-determined-givs
dont-check-determined-givs
April 14, 2025 15:49 22s
[ pp ] Change derived gen pretty-printer to use elab's resugaring Non-primary OS #307: Commit 26c2eac pushed by buzden
April 14, 2025 12:05 20s pprint-code-through-elab
pprint-code-through-elab
April 14, 2025 12:05 20s
[ 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
[ pp ] Change derived gen pretty-printer to use elab's resugaring DepTyCheck #2109: Commit 26c2eac pushed by buzden
April 14, 2025 12:05 38m 24s pprint-code-through-elab
pprint-code-through-elab
April 14, 2025 12:05 38m 24s
[ derive ] Don't spend fuel in structurally decreasing cases DepTyCheck #2108: Commit 143a3dd pushed by buzden
April 14, 2025 12:03 4m 9s master
master
April 14, 2025 12:03 4m 9s
[ 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
[ derive ] Don't spend fuel in structurally decreasing cases Non-primary OS #306: Commit 143a3dd pushed by buzden
April 14, 2025 12:03 19s master
master
April 14, 2025 12:03 19s
DepTyCheck DepTyCheck #2107: Scheduled
April 14, 2025 02:26 29m 16s master
master
April 14, 2025 02:26 29m 16s
DepTyCheck DepTyCheck #2106: Scheduled
April 13, 2025 03:39 27m 49s master
master
April 13, 2025 03:39 27m 49s
DepTyCheck DepTyCheck #2105: Scheduled
April 12, 2025 02:19 28m 11s master
master
April 12, 2025 02:19 28m 11s
DepTyCheck DepTyCheck #2104: Scheduled
April 11, 2025 02:22 27m 43s master
master
April 11, 2025 02:22 27m 43s
[ typo ] Fix one comment Non-primary OS #305: Commit cda8f86 pushed by buzden
April 10, 2025 15:20 19s structurally-decr
structurally-decr
April 10, 2025 15:20 19s
[ typo ] Fix one comment DepTyCheck #2103: Commit cda8f86 pushed by buzden
April 10, 2025 15:20 37m 50s structurally-decr
structurally-decr
April 10, 2025 15:20 37m 50s
[ 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 DepTyCheck #2102: Commit d5430a1 pushed by buzden
April 10, 2025 15:19 33m 4s master
master
April 10, 2025 15:19 33m 4s