Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[inferpython] first version of subroutine inlining build #3991: Commit 306fe07 pushed by facebook-github-bot
October 11, 2024 15:32 1h 0m 52s main
main
October 11, 2024 15:32 1h 0m 52s
[self-in-block] Example that shows wrong autofix because of generated… build #3990: Commit af97d9c pushed by facebook-github-bot
October 10, 2024 18:06 1h 5m 12s main
main
October 10, 2024 18:06 1h 5m 12s
[annot] Add test for Kotlin annotations in Java build #3989: Commit cb7ff1e pushed by facebook-github-bot
October 10, 2024 17:50 57m 12s main
main
October 10, 2024 17:50 57m 12s
[pulse] revert reordering disjuncts in summary build #3988: Commit 63dd699 pushed by facebook-github-bot
October 10, 2024 15:33 1h 7m 21s main
main
October 10, 2024 15:33 1h 7m 21s
[autofix] Add line and col to the autofixes in the tests build #3987: Commit e406c23 pushed by facebook-github-bot
October 10, 2024 15:20 1h 11m 38s main
main
October 10, 2024 15:20 1h 11m 38s
[self-in-block] Wrong autofix because of macro build #3986: Commit 6da2fc9 pushed by facebook-github-bot
October 10, 2024 12:15 1h 13m 49s main
main
October 10, 2024 12:15 1h 13m 49s
[clang] Add function prototype to Objective-C blocks build #3985: Commit 6d5bc2b pushed by facebook-github-bot
October 10, 2024 10:48 1h 4m 41s main
main
October 10, 2024 10:48 1h 4m 41s
[IR] Adding the option of a function prototype to function types build #3984: Commit 648ef5e pushed by facebook-github-bot
October 9, 2024 16:15 1h 6m 56s main
main
October 9, 2024 16:15 1h 6m 56s
Back out "Use only one order for abstract values" build #3983: Commit 06b81b1 pushed by facebook-github-bot
October 9, 2024 11:33 1h 11m 45s main
main
October 9, 2024 11:33 1h 11m 45s
[inferpython] optimistic fixpoint computation to simplify loops build #3982: Commit 8f937cc pushed by facebook-github-bot
October 8, 2024 13:12 1h 5m 23s main
main
October 8, 2024 13:12 1h 5m 23s
[paramNotNull] Example that doesn't work build #3981: Commit 6b1228c pushed by facebook-github-bot
October 8, 2024 13:01 59m 57s main
main
October 8, 2024 13:01 59m 57s
[annot] Add description to specs build #3980: Commit f19d7e0 pushed by facebook-github-bot
October 8, 2024 12:52 1h 7m 58s main
main
October 8, 2024 12:52 1h 7m 58s
[erlang] Fix encoding of 'φ is true' build #3979: Commit 04fde96 pushed by facebook-github-bot
October 7, 2024 13:48 55m 15s main
main
October 7, 2024 13:48 55m 15s
[minor] Added some missing newlines... build #3978: Commit 5f646a9 pushed by facebook-github-bot
October 7, 2024 12:57 1h 7m 56s main
main
October 7, 2024 12:57 1h 7m 56s
[liveness] Suppress issue on artificial variables build #3977: Commit c661de5 pushed by facebook-github-bot
October 7, 2024 12:35 1h 2m 30s main
main
October 7, 2024 12:35 1h 2m 30s
Use only one order for abstract values build #3976: Commit 0a730bc pushed by facebook-github-bot
October 7, 2024 12:25 1h 7m 18s main
main
October 7, 2024 12:25 1h 7m 18s
[EASY] Revise a comment of resolve_method build #3975: Commit 5d148e3 pushed by facebook-github-bot
October 7, 2024 10:54 1h 7m 6s main
main
October 7, 2024 10:54 1h 7m 6s
[inferpython] fixing bug with WITH_CLEANUP_START/POP_FINALLY build #3974: Commit 1a7da46 pushed by facebook-github-bot
October 7, 2024 10:01 1h 7m 21s main
main
October 7, 2024 10:01 1h 7m 21s
[inferhack] beef up UAA diagnostic wording build #3973: Commit 7c1d9ac pushed by facebook-github-bot
October 4, 2024 17:06 1h 9m 26s main
main
October 4, 2024 17:06 1h 9m 26s
[autofix] Try to find proper autofix from list build #3972: Commit a92a3fd pushed by facebook-github-bot
October 4, 2024 15:44 59m 32s main
main
October 4, 2024 15:44 59m 32s
[inferpython] separate fastlocals and locals maps build #3971: Commit 09fc5d8 pushed by facebook-github-bot
October 4, 2024 15:28 1h 0m 27s main
main
October 4, 2024 15:28 1h 0m 27s
[uninit method] Introduce a new checker build #3970: Commit 00717df pushed by facebook-github-bot
October 4, 2024 13:31 57m 32s main
main
October 4, 2024 13:31 57m 32s
[unnecessary copy] Suppress issues when zero continue program build #3969: Commit b541598 pushed by facebook-github-bot
October 4, 2024 11:22 58m 50s main
main
October 4, 2024 11:22 58m 50s
[inferpython] register inverse CFG build #3968: Commit 3edeb61 pushed by facebook-github-bot
October 3, 2024 13:09 56m 19s main
main
October 3, 2024 13:09 56m 19s
[scope leakage] Allow specifying generators by their return type only… build #3967: Commit 65fd1ac pushed by facebook-github-bot
October 2, 2024 16:06 59m 46s main
main
October 2, 2024 16:06 59m 46s