Skip to content

Actions: facebook/infer

Actions

build

Actions

Loading...

Show workflow options

Create status badge

install.yml
991 workflow runs
991 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[inferhack] rebox Hack strings build #3591: Commit 068d9d0 pushed by facebook-github-bot
May 17, 2024 21:32 26m 0s main
main
May 17, 2024 21:32 26m 0s
[retain cycles] Add test that shows a missing part of the trace build #3590: Commit 2880cfe pushed by facebook-github-bot
May 17, 2024 21:01 26m 29s main
main
May 17, 2024 21:01 26m 29s
Lineage: split ArgumentOf/ReturnOf nodes on their known fields build #3589: Commit 17e0130 pushed by facebook-github-bot
May 17, 2024 15:03 27m 52s main
main
May 17, 2024 15:03 27m 52s
[refactor] Use Re.Str instead of Str build #3588: Commit 237860c pushed by facebook-github-bot
May 17, 2024 13:02 26m 31s main
main
May 17, 2024 13:02 26m 31s
[pulse] do not crash when pretty printing build #3587: Commit 70fc167 pushed by facebook-github-bot
May 16, 2024 19:53 30m 7s main
main
May 16, 2024 19:53 30m 7s
[infer] Refactor to call Str.regexp as less as possible build #3586: Commit 72e7694 pushed by facebook-github-bot
May 16, 2024 16:41 29m 17s main
main
May 16, 2024 16:41 29m 17s
Lineage: add field exclusion as Src and Dst functions, factoring add_… build #3585: Commit e2496d1 pushed by facebook-github-bot
May 16, 2024 15:20 27m 13s main
main
May 16, 2024 15:20 27m 13s
[infer] Initial version of cannot instantiate abstract class checker build #3584: Commit 59e82d5 pushed by facebook-github-bot
May 16, 2024 13:36 28m 10s main
main
May 16, 2024 13:36 28m 10s
Lineage: have destinations also generate signals build #3583: Commit 33a74f3 pushed by facebook-github-bot
May 15, 2024 18:40 27m 25s main
main
May 15, 2024 18:40 27m 25s
[biabduction] Increase timeout build #3582: Commit 159b2b6 pushed by facebook-github-bot
May 15, 2024 18:33 28m 30s main
main
May 15, 2024 18:33 28m 30s
[inferhack] add test case for nullability build #3581: Commit 8a7f30c pushed by facebook-github-bot
May 15, 2024 15:09 26m 52s main
main
May 15, 2024 15:09 26m 52s
[retain cycles] Do not follow paths where blocks are captured in blocks build #3580: Commit 85ebfa2 pushed by facebook-github-bot
May 15, 2024 10:18 25m 53s main
main
May 15, 2024 10:18 25m 53s
fix inverted formula build #3579: Commit c35eba1 pushed by facebook-github-bot
May 14, 2024 21:34 26m 26s main
main
May 14, 2024 21:34 26m 26s
[infer] Use Re.Str instead of Str build #3578: Commit e426b7f pushed by facebook-github-bot
May 14, 2024 18:41 28m 21s main
main
May 14, 2024 18:41 28m 21s
[starvation] Disabled guards in interprocedural setting build #3577: Commit 612a4f5 pushed by facebook-github-bot
May 14, 2024 17:45 26m 9s main
main
May 14, 2024 17:45 26m 9s
Lineage: remove some use of add_parallel_var_path_flow build #3576: Commit 35f7aaf pushed by facebook-github-bot
May 14, 2024 17:08 29m 23s main
main
May 14, 2024 17:08 29m 23s
[infer] Add struct-as-cpp-class option to fix C/C++ linking issue build #3575: Commit 1e80ab5 pushed by facebook-github-bot
May 14, 2024 11:06 26m 58s main
main
May 14, 2024 11:06 26m 58s
[infer] Add test demonstrating C/C++ issue build #3574: Commit e7cc9a2 pushed by facebook-github-bot
May 14, 2024 08:24 29m 25s main
main
May 14, 2024 08:24 29m 25s
[pp] avoid ".f->=-", print ".f->-" instead build #3573: Commit e4d5331 pushed by facebook-github-bot
May 13, 2024 21:39 26m 55s main
main
May 13, 2024 21:39 26m 55s
[infer] incorporate nullability information in type tests build #3572: Commit 62b8cad pushed by facebook-github-bot
May 13, 2024 21:32 25m 50s main
main
May 13, 2024 21:32 25m 50s
Lineage: introduce slots for sources and destinations build #3571: Commit 8b49279 pushed by facebook-github-bot
May 13, 2024 21:18 27m 5s main
main
May 13, 2024 21:18 27m 5s
[pulse] Bug-fix nontermination build #3570: Commit b8d8b21 pushed by facebook-github-bot
May 13, 2024 18:32 28m 0s main
main
May 13, 2024 18:32 28m 0s
[debug] fix toplevel init script build #3569: Commit 360861c pushed by facebook-github-bot
May 13, 2024 15:29 29m 30s main
main
May 13, 2024 15:29 29m 30s
[report] Adding a flag to specify false positives to skip build #3568: Commit 504b807 pushed by facebook-github-bot
May 10, 2024 17:47 27m 2s main
main
May 10, 2024 17:47 27m 2s
LineageTaint: don't follow Return edges after a Call has been traversed build #3567: Commit bcb4b88 pushed by facebook-github-bot
May 10, 2024 13:23 27m 43s main
main
May 10, 2024 13:23 27m 43s