Skip to content

Actions: uber-go/nilaway

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
925 workflow runs
925 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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 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 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
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 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
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
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 (#243) Go #640: Commit fe712a8 pushed by yuxincs
May 14, 2024 19:15 6m 29s main
main
May 14, 2024 19:15 6m 29s
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
Remove ErrorOnNilableMap handling Go #639: Pull request #243 synchronize by yuxincs
May 14, 2024 19:05 6m 36s yuxincs/remove-error-on-nilable-map-read
yuxincs/remove-error-on-nilable-map-read
May 14, 2024 19:05 6m 36s
Remove util.TypeOf helper function (#242) Go #638: Commit a25d53b pushed by yuxincs
May 14, 2024 19:04 6m 41s main
main
May 14, 2024 19:04 6m 41s
Remove ErrorOnNilableMap handling Golden Test #212: Pull request #243 opened by yuxincs
May 14, 2024 13:42 8m 24s yuxincs/remove-error-on-nilable-map-read
yuxincs/remove-error-on-nilable-map-read
May 14, 2024 13:42 8m 24s
Remove ErrorOnNilableMap handling Go #637: Pull request #243 opened by yuxincs
May 14, 2024 13:42 6m 31s yuxincs/remove-error-on-nilable-map-read
yuxincs/remove-error-on-nilable-map-read
May 14, 2024 13:42 6m 31s
Remove util.TypeOf helper function Go #636: Pull request #242 opened by yuxincs
May 14, 2024 01:29 6m 38s yuxincs/remove-type-of
yuxincs/remove-type-of
May 14, 2024 01:29 6m 38s
Remove util.TypeOf helper function Golden Test #211: Pull request #242 opened by yuxincs
May 14, 2024 01:29 8m 20s yuxincs/remove-type-of
yuxincs/remove-type-of
May 14, 2024 01:29 8m 20s
Implement fact export for manually-written and inferred function contracts Go #635: Pull request #240 synchronize by yuxincs
May 14, 2024 00:01 6m 30s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 14, 2024 00:01 6m 30s
Implement fact export for manually-written and inferred function contracts Golden Test #210: Pull request #240 synchronize by yuxincs
May 14, 2024 00:01 8m 33s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 14, 2024 00:01 8m 33s
Implement fact export for manually-written and inferred function contracts Golden Test #209: Pull request #240 synchronize by yuxincs
May 14, 2024 00:01 8m 24s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 14, 2024 00:01 8m 24s
Implement fact export for manually-written and inferred function contracts Go #634: Pull request #240 synchronize by yuxincs
May 14, 2024 00:01 6m 23s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 14, 2024 00:01 6m 23s
Implement fact export for manually-written and inferred function contracts Golden Test #208: Pull request #240 synchronize by yuxincs
May 13, 2024 23:46 8m 9s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 13, 2024 23:46 8m 9s
Implement fact export for manually-written and inferred function contracts Go #633: Pull request #240 synchronize by yuxincs
May 13, 2024 23:46 6m 29s yuxincs/store-manual-and-inferred-contracts
yuxincs/store-manual-and-inferred-contracts
May 13, 2024 23:46 6m 29s
Refactor the contract analyzer Go #632: Pull request #239 synchronize by yuxincs
May 13, 2024 23:46 6m 37s yuxincs/refactor-function-contract-analyzer
yuxincs/refactor-function-contract-analyzer
May 13, 2024 23:46 6m 37s
Refactor the contract analyzer Golden Test #207: Pull request #239 synchronize by yuxincs
May 13, 2024 23:46 7m 58s yuxincs/refactor-function-contract-analyzer
yuxincs/refactor-function-contract-analyzer
May 13, 2024 23:46 7m 58s
Fix integration tests to not group error messages (#241) Go #631: Commit 3062237 pushed by yuxincs
May 13, 2024 23:40 6m 41s main
main
May 13, 2024 23:40 6m 41s