Skip to content

Actions: facebook/infer

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install.yml
727 workflow runs
727 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[swift] Implement metadata propagation for Objective-C dynamic selectors build #4910: Commit ceac2f3 pushed by meta-codesync bot
39m 47s main
main
39m 47s
[rust] recursive mk_tuple_type build #4909: Pull request #2023 opened by ArjanSeijs
35m 13s ArjanSeijs:rust/pr-tuple-extraction
ArjanSeijs:rust/pr-tuple-extraction
35m 13s
[rust] Global places build #4908: Pull request #2022 opened by ArjanSeijs
44m 23s ArjanSeijs:rust/pr-global-places
ArjanSeijs:rust/pr-global-places
44m 23s
[rust] pr-code-cleanup build #4907: Pull request #2021 opened by ArjanSeijs
34m 10s ArjanSeijs:rust/pr-code-cleanup
ArjanSeijs:rust/pr-code-cleanup
34m 10s
[Swift] Verify end-to-end analysis of @objc class allocation and meth… build #4906: Commit cb7d86e pushed by meta-codesync bot
40m 38s main
main
40m 38s
[textual] add newline to internal error build #4905: Commit eaed7a5 pushed by meta-codesync bot
39m 54s main
main
39m 54s
[swift] More readable type names in reports build #4904: Commit 333a13f pushed by meta-codesync bot
33m 40s main
main
33m 40s
[textual] fix unknown field errors during verification build #4903: Commit 5fead9d pushed by meta-codesync bot
34m 11s main
main
34m 11s
[llvm] only count textual procs in stats build #4902: Commit bb41321 pushed by meta-codesync bot
40m 6s main
main
40m 6s
[swift] Refactor the models into a separate file build #4901: Commit 59fc8cd pushed by meta-codesync bot
40m 40s main
main
40m 40s
[Refactor][Swift] Flatten nested helper functions in process_globals build #4900: Commit 7a777c7 pushed by meta-codesync bot
40m 38s main
main
40m 38s
[Swift] Fix retain cycles for optional class-bound protocols via type… build #4899: Commit 6446187 pushed by meta-codesync bot
42m 16s main
main
42m 16s
[specialized call graph][14/N] improve error messages in test Makefile build #4898: Commit c39e6c3 pushed by meta-codesync bot
39m 21s main
main
39m 21s
[specialized call graph][12/N] output call trees build #4897: Commit fd98889 pushed by meta-codesync bot
40m 10s main
main
40m 10s
[swift] Improve type inference build #4896: Commit d27fc89 pushed by meta-codesync bot
40m 17s main
main
40m 17s
[specialized call graph][10/N] documentation in the .mli build #4895: Commit 6a508af pushed by meta-codesync bot
43m 21s main
main
43m 21s
[rust] Heap types (boxes) (#2017) build #4894: Commit 576e63d pushed by meta-codesync bot
1h 17m 1s main
main
1h 17m 1s
[swift] Add baseline test for non-optional class-bound protocol retai… build #4893: Commit fe52b2f pushed by meta-codesync bot
40m 21s main
main
40m 21s
[specialized call graph][9/N] use OCaml pp for specialization build #4892: Commit 3273d9e pushed by meta-codesync bot
39m 55s main
main
39m 55s
[specialized call graph][5/N] examples with more complex heap paths build #4891: Commit 6d6304c pushed by meta-codesync bot
39m 21s main
main
39m 21s
[swift] Implement Backward Type Inference for Swift Dynamic Offsets build #4890: Commit a833063 pushed by meta-codesync bot
39m 48s main
main
39m 48s
[clang] Update clang plugin for LLVM 21 build #4889: Commit e09d41e pushed by meta-codesync bot
2h 32m 50s main
main
2h 32m 50s
Fix Pulse NULL_DEREFERENCE false negative caused by irrelevant inequa… build #4888: Pull request #2018 opened by bhuvii2005
Action required bhuvii2005:fix-null-dereference-false-negative
bhuvii2005:fix-null-dereference-false-negative
Action required
[swift] Fix Swift dynamic property setters missing from memory graph build #4887: Commit 5da951d pushed by meta-codesync bot
39m 35s main
main
39m 35s
[opam] make the Makefile cross-platform (#2011) build #4886: Commit f3577fd pushed by meta-codesync bot
40m 56s main
main
40m 56s