Skip to content

Actions: uber-go/nilaway

Actions

Golden Test

Actions

Loading...

Show workflow options

Create status badge

golden-test.yml
236 workflow runs
236 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Add more test cases for calling no-return functions Golden Test #237: Pull request #252 synchronize by yuxincs
June 5, 2024 19:32 8m 29s yuxincs/handle-abnormal-control-flow
yuxincs/handle-abnormal-control-flow
June 5, 2024 19:32 8m 29s
Fix for making rich check effect handling unbiased for return statement ordering Golden Test #236: Pull request #254 opened by sonalmahajan15
June 5, 2024 17:34 8m 8s sonalmahajan15/fix-bug-in-order-of-err-return
sonalmahajan15/fix-bug-in-order-of-err-return
June 5, 2024 17:34 8m 8s
Handle assignments to global variables from the init function Golden Test #235: Pull request #253 opened by k4n4ry
June 2, 2024 17:41 8m 3s k4n4ry:handle-init-func
k4n4ry:handle-init-func
June 2, 2024 17:41 8m 3s
Add more test cases for calling no-return functions Golden Test #234: Pull request #252 synchronize by yuxincs
May 31, 2024 14:52 8m 10s yuxincs/handle-abnormal-control-flow
yuxincs/handle-abnormal-control-flow
May 31, 2024 14:52 8m 10s
Add more test cases for calling no-return functions Golden Test #233: Pull request #252 opened by yuxincs
May 30, 2024 16:02 8m 13s yuxincs/handle-abnormal-control-flow
yuxincs/handle-abnormal-control-flow
May 30, 2024 16:02 8m 13s
Refine the handling of pointers in TypeAsDeepType Golden Test #232: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:41 7m 59s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:41 7m 59s
Refine the handling of pointers in TypeAsDeepType Golden Test #231: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:37 7m 51s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:37 7m 51s
Refine the handling of pointers in TypeAsDeepType Golden Test #230: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:26 7m 45s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:26 7m 45s
Refine the handling of pointers in TypeAsDeepType Golden Test #229: Pull request #251 synchronize by sonalmahajan15
May 25, 2024 00:25 8m 3s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 25, 2024 00:25 8m 3s
Refine the handling of pointers in TypeAsDeepType Golden Test #228: Pull request #251 synchronize by sonalmahajan15
May 24, 2024 22:38 7m 54s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 22:38 7m 54s
Refine the handling of pointers in TypeAsDeepType Golden Test #227: Pull request #251 synchronize by sonalmahajan15
May 24, 2024 22:17 8m 11s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 22:17 8m 11s
Separate the preprocess into a standalone package Golden Test #226: Pull request #250 synchronize by yuxincs
May 24, 2024 19:57 8m 4s yuxincs/make-preprocess-independent
yuxincs/make-preprocess-independent
May 24, 2024 19:57 8m 4s
Separate the trustedfunc framework from assertiontree package Golden Test #225: Pull request #248 synchronize by yuxincs
May 24, 2024 19:25 8m 4s yuxincs/make-trusted-func-independent
yuxincs/make-trusted-func-independent
May 24, 2024 19:25 8m 4s
Refine the handling of pointers in TypeAsDeepType Golden Test #224: Pull request #251 synchronize by sonalmahajan15
May 24, 2024 18:29 8m 26s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 18:29 8m 26s
Refine the handling of pointers in TypeAsDeepType Golden Test #223: Pull request #251 opened by sonalmahajan15
May 24, 2024 17:41 5m 49s sonalmahajan15/refine-type-as-deep
sonalmahajan15/refine-type-as-deep
May 24, 2024 17:41 5m 49s
Separate the preprocess into a standalone package Golden Test #222: Pull request #250 opened by yuxincs
May 23, 2024 19:58 8m 10s yuxincs/make-preprocess-independent
yuxincs/make-preprocess-independent
May 23, 2024 19:58 8m 10s
Refactor CFG preprocess logic Golden Test #221: Pull request #249 opened by yuxincs
May 23, 2024 19:43 8m 2s yuxincs/refactor-preprocessor
yuxincs/refactor-preprocessor
May 23, 2024 19:43 8m 2s
Separate the trustedfunc framework from assertiontree package Golden Test #220: Pull request #248 synchronize by yuxincs
May 23, 2024 19:40 8m 34s yuxincs/make-trusted-func-independent
yuxincs/make-trusted-func-independent
May 23, 2024 19:40 8m 34s
Separate the trustedfunc framework from assertiontree package Golden Test #219: Pull request #248 opened by yuxincs
May 23, 2024 19:18 8m 57s yuxincs/make-trusted-func-independent
yuxincs/make-trusted-func-independent
May 23, 2024 19:18 8m 57s
Fix for nested non-builtin call expression in map access Golden Test #218: Pull request #245 synchronize by sonalmahajan15
May 21, 2024 00:18 8m 11s sonalmahajan15/fix-builtin-func-map-access
sonalmahajan15/fix-builtin-func-map-access
May 21, 2024 00:18 8m 11s
Fix for nested non-builtin call expression in map access Golden Test #217: Pull request #245 opened by sonalmahajan15
May 15, 2024 20:48 8m 19s sonalmahajan15/fix-builtin-func-map-access
sonalmahajan15/fix-builtin-func-map-access
May 15, 2024 20:48 8m 19s
Fix convergence problem due to unbounded growing of assertion tree Golden Test #216: Pull request #244 opened by sonalmahajan15
May 15, 2024 20:13 8m 10s sonalmahajan15/fix-unbounded-tree
sonalmahajan15/fix-unbounded-tree
May 15, 2024 20:13 8m 10s
Implement fact export for manually-written and inferred function contracts Golden Test #215: Pull request #240 synchronize by yuxincs
May 14, 2024 19:15 8m 10s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 14, 2024 19:15 8m 10s
Refactor the contract analyzer Golden Test #214: Pull request #239 synchronize by yuxincs
May 14, 2024 19:15 8m 40s yuxincs/refactor-function-contract-analyzer
yuxincs/refactor-function-contract-analyzer
May 14, 2024 19:15 8m 40s
Remove ErrorOnNilableMap handling Golden Test #213: Pull request #243 synchronize by yuxincs
May 14, 2024 19:05 8m 27s yuxincs/remove-error-on-nilable-map-read
yuxincs/remove-error-on-nilable-map-read
May 14, 2024 19:05 8m 27s