Skip to content

Actions: uber-go/nilaway

Actions

Go

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
731 workflow runs
731 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refine the handling of pointers in TypeAsDeepType Go #664: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:41 4m 41s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:41 4m 41s
Refine the handling of pointers in TypeAsDeepType Go #663: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:37 4m 35s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:37 4m 35s
Refine the handling of pointers in TypeAsDeepType Go #662: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:26 5m 14s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:26 5m 14s
Refine the handling of pointers in TypeAsDeepType Go #661: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:25 5m 3s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:25 5m 3s
Refine the handling of pointers in TypeAsDeepType Go #660: Pull request #251 synchronize by sonalmahajan15
May 24, 2024 22:38 4m 37s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 22:38 4m 37s
Refine the handling of pointers in TypeAsDeepType Go #659: Pull request #251 synchronize by sonalmahajan15
May 24, 2024 22:17 5m 9s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 22:17 5m 9s
Separate the preprocess into a standalone package (#250) Go #658: Commit 885be9d pushed by yuxincs
May 24, 2024 20:43 5m 9s main
main
May 24, 2024 20:43 5m 9s
Separate the preprocess into a standalone package Go #657: Pull request #250 synchronize by yuxincs
May 24, 2024 19:57 5m 19s yuxincs/make-preprocess-independent
yuxincs/make-preprocess-independent
May 24, 2024 19:57 5m 19s
Separate the trustedfunc framework from assertiontree package (#248) Go #656: Commit 3c07894 pushed by yuxincs
May 24, 2024 19:53 5m 22s main
main
May 24, 2024 19:53 5m 22s
Separate the trustedfunc framework from assertiontree package Go #655: Pull request #248 synchronize by yuxincs
May 24, 2024 19:25 5m 14s yuxincs/make-trusted-func-independent
yuxincs/make-trusted-func-independent
May 24, 2024 19:25 5m 14s
Refactor CFG preprocess logic (#249) Go #654: Commit 2ae4ebe pushed by yuxincs
May 24, 2024 19:22 5m 12s main
main
May 24, 2024 19:22 5m 12s
Refine the handling of pointers in TypeAsDeepType Go #653: Pull request #251 synchronize by sonalmahajan15
May 24, 2024 18:29 5m 21s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 18:29 5m 21s
Refine the handling of pointers in TypeAsDeepType Go #652: Pull request #251 opened by sonalmahajan15
May 24, 2024 17:41 4m 38s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 17:41 4m 38s
Separate the preprocess into a standalone package Go #651: Pull request #250 opened by yuxincs
May 23, 2024 19:58 5m 13s yuxincs/make-preprocess-independent
yuxincs/make-preprocess-independent
May 23, 2024 19:58 5m 13s
Refactor CFG preprocess logic Go #650: Pull request #249 opened by yuxincs
May 23, 2024 19:43 5m 15s yuxincs/refactor-preprocessor
yuxincs/refactor-preprocessor
May 23, 2024 19:43 5m 15s
Separate the trustedfunc framework from assertiontree package Go #649: Pull request #248 synchronize by yuxincs
May 23, 2024 19:40 5m 15s yuxincs/make-trusted-func-independent
yuxincs/make-trusted-func-independent
May 23, 2024 19:40 5m 15s
Separate the trustedfunc framework from assertiontree package Go #648: Pull request #248 opened by yuxincs
May 23, 2024 19:18 5m 28s yuxincs/make-trusted-func-independent
yuxincs/make-trusted-func-independent
May 23, 2024 19:18 5m 28s
Fix for nested non-builtin call expression in map access (#245) Go #647: Commit a27654d pushed by sonalmahajan15
May 21, 2024 00:37 5m 14s main
main
May 21, 2024 00:37 5m 14s
Fix for nested non-builtin call expression in map access Go #646: Pull request #245 synchronize by sonalmahajan15
May 21, 2024 00:18 5m 16s sonalmahajan15/fix-builtin-func-map-access
sonalmahajan15/fix-builtin-func-map-access
May 21, 2024 00:18 5m 16s
Fix convergence problem due to unbounded growing of assertion tree (#… Go #645: Commit 482b433 pushed by sonalmahajan15
May 21, 2024 00:10 5m 23s main
main
May 21, 2024 00:10 5m 23s
Fix for nested non-builtin call expression in map access Go #644: Pull request #245 opened by sonalmahajan15
May 15, 2024 20:48 5m 27s sonalmahajan15/fix-builtin-func-map-access
sonalmahajan15/fix-builtin-func-map-access
May 15, 2024 20:48 5m 27s
Fix convergence problem due to unbounded growing of assertion tree Go #643: Pull request #244 opened by sonalmahajan15
May 15, 2024 20:13 5m 36s sonalmahajan15/fix-unbounded-tree
sonalmahajan15/fix-unbounded-tree
May 15, 2024 20:13 5m 36s
Implement fact export for manually-written and inferred function contracts Go #642: Pull request #240 synchronize by yuxincs
May 14, 2024 19:15 6m 35s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 14, 2024 19:15 6m 35s
Refactor the contract analyzer Go #641: Pull request #239 synchronize by yuxincs
May 14, 2024 19:15 8m 17s yuxincs/refactor-function-contract-analyzer
yuxincs/refactor-function-contract-analyzer
May 14, 2024 19:15 8m 17s
Remove ErrorOnNilableMap handling (#243) Go #640: Commit fe712a8 pushed by yuxincs
May 14, 2024 19:15 6m 29s main
main
May 14, 2024 19:15 6m 29s