Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #47: by github-pages bot
August 23, 2024 17:52 49s
August 23, 2024 17:52 49s
[website] Update the website build #3839: Commit ddc2477 pushed by facebook-github-bot
August 23, 2024 17:50 1h 13m 59s main
main
August 23, 2024 17:50 1h 13m 59s
[website] Update the website website #165: Commit ddc2477 pushed by facebook-github-bot
August 23, 2024 17:50 1m 17s main
main
August 23, 2024 17:50 1m 17s
[self in block]Add issue type for when C++ strings are captured in bl… build #3838: Commit f0fda15 pushed by facebook-github-bot
August 23, 2024 15:11 56m 13s main
main
August 23, 2024 15:11 56m 13s
[pulse][dsl] "simplify" syntax build #3837: Commit 527af42 pushed by facebook-github-bot
August 23, 2024 11:29 54m 6s main
main
August 23, 2024 11:29 54m 6s
[reactive capture][hack]bugfix in missed types collection build #3836: Commit ef0519c pushed by facebook-github-bot
August 23, 2024 08:32 1h 19m 35s main
main
August 23, 2024 08:32 1h 19m 35s
[tenv] mild refactor of method resolution build #3835: Commit c00def5 pushed by facebook-github-bot
August 23, 2024 07:58 1h 1m 16s main
main
August 23, 2024 07:58 1h 1m 16s
[topl] More interesting test for string literal build #3834: Commit 1b34a94 pushed by facebook-github-bot
August 22, 2024 20:48 1h 2m 8s main
main
August 22, 2024 20:48 1h 2m 8s
pages build and deployment pages-build-deployment #46: by github-pages bot
August 21, 2024 13:31 45s
August 21, 2024 13:31 45s
[web] Update the webpage website #164: Commit 669b32a pushed by facebook-github-bot
August 21, 2024 13:29 1m 28s main
main
August 21, 2024 13:29 1m 28s
[web] Update the webpage build #3833: Commit 669b32a pushed by facebook-github-bot
August 21, 2024 13:29 1h 8m 58s main
main
August 21, 2024 13:29 1h 8m 58s
[inferhack] add test for 86pinit being called in factory build #3832: Commit 77c5cd2 pushed by facebook-github-bot
August 20, 2024 22:03 1h 2m 41s main
main
August 20, 2024 22:03 1h 2m 41s
[parameterNotNull] Take into account formal annotations of captured build #3831: Commit 476225b pushed by facebook-github-bot
August 20, 2024 19:30 1h 3m 14s main
main
August 20, 2024 19:30 1h 3m 14s
[pulse] Prioritize ContinueProgram in summary build #3830: Commit acbc87d pushed by facebook-github-bot
August 20, 2024 11:24 1h 0m 58s main
main
August 20, 2024 11:24 1h 0m 58s
[pulse] better data type for model descriptions build #3829: Commit 1de69f1 pushed by facebook-github-bot
August 19, 2024 16:11 54m 33s main
main
August 19, 2024 16:11 54m 33s
[clang] Update is_formal_of to keep track of the method that the vari… build #3828: Commit 2fcef0f pushed by facebook-github-bot
August 19, 2024 14:51 1h 8m 25s main
main
August 19, 2024 14:51 1h 8m 25s
[biabduction] Increase timeout for cpp biabduction tests build #3827: Commit 6e76ca4 pushed by facebook-github-bot
August 19, 2024 14:21 59m 50s main
main
August 19, 2024 14:21 59m 50s
[EASY][pulse] Minor change on pretty print build #3826: Commit 134efb8 pushed by facebook-github-bot
August 19, 2024 14:06 1h 3m 15s main
main
August 19, 2024 14:06 1h 3m 15s
[parameterNotNull] Take into account captured variables that are form… build #3825: Commit 20de277 pushed by facebook-github-bot
August 16, 2024 15:10 1h 5m 12s main
main
August 16, 2024 15:10 1h 5m 12s
[topl] Added a test for string literals in Java build #3824: Commit 4995440 pushed by facebook-github-bot
August 16, 2024 12:02 54m 35s main
main
August 16, 2024 12:02 54m 35s
[pulse][trivial] move TransitiveAccess alphabetically build #3823: Commit ce57bd3 pushed by facebook-github-bot
August 15, 2024 16:10 1h 1m 37s main
main
August 15, 2024 16:10 1h 1m 37s
[inferconfig] Add an option of pulse-model-return-nonnull-list build #3822: Commit 84d722c pushed by facebook-github-bot
August 15, 2024 13:25 1h 3m 28s main
main
August 15, 2024 13:25 1h 3m 28s
[inferhack] add cycle detection to type constant expansion in check_a… build #3821: Commit bcdb703 pushed by facebook-github-bot
August 13, 2024 17:24 1h 3m 20s main
main
August 13, 2024 17:24 1h 3m 20s
[pulse] be more cautious about matching trace invalidations to reports build #3820: Commit 826fd3f pushed by facebook-github-bot
August 13, 2024 17:15 1h 12m 56s main
main
August 13, 2024 17:15 1h 12m 56s
[pulse] cleanup variables using always_reachable build #3819: Commit 397fd6d pushed by facebook-github-bot
August 13, 2024 14:21 1h 2m 22s main
main
August 13, 2024 14:21 1h 2m 22s