Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
881 workflow runs
881 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[swift] More readable type names in reports build #4904: Commit 333a13f pushed by meta-codesync bot
33m 40s main
main
33m 40s
Push on main CodeQL #31: by meta-codesync bot
5m 52s main
main
5m 52s
[textual] fix unknown field errors during verification build #4903: Commit 5fead9d pushed by meta-codesync bot
34m 11s main
main
34m 11s
Push on main CodeQL #30: by meta-codesync bot
6m 9s main
main
6m 9s
[llvm] only count textual procs in stats build #4902: Commit bb41321 pushed by meta-codesync bot
40m 6s main
main
40m 6s
Push on main CodeQL #29: by meta-codesync bot
5m 50s main
main
5m 50s
[swift] Refactor the models into a separate file build #4901: Commit 59fc8cd pushed by meta-codesync bot
40m 40s main
main
40m 40s
Push on main CodeQL #28: by meta-codesync bot
5m 40s main
main
5m 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
Push on main CodeQL #27: by meta-codesync bot
5m 35s main
main
5m 35s
[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
Push on main CodeQL #26: by meta-codesync bot
5m 45s main
main
5m 45s
[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
Push on main CodeQL #25: by meta-codesync bot
5m 30s main
main
5m 30s
[specialized call graph][12/N] output call trees build #4897: Commit fd98889 pushed by meta-codesync bot
40m 10s main
main
40m 10s
Push on main CodeQL #24: by meta-codesync bot
5m 9s main
main
5m 9s
[swift] Improve type inference build #4896: Commit d27fc89 pushed by meta-codesync bot
40m 17s main
main
40m 17s
Push on main CodeQL #23: by meta-codesync bot
5m 50s main
main
5m 50s
[specialized call graph][10/N] documentation in the .mli build #4895: Commit 6a508af pushed by meta-codesync bot
43m 21s main
main
43m 21s
Push on main CodeQL #22: by meta-codesync bot
6m 43s main
main
6m 43s
Scheduled CodeQL #21: by github-advanced-security bot
5m 40s main
main
5m 40s
[rust] Heap types (boxes) (#2017) build #4894: Commit 576e63d pushed by meta-codesync bot
1h 17m 1s main
main
1h 17m 1s
Push on main CodeQL #20: by meta-codesync bot
5m 35s main
main
5m 35s
[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
Push on main CodeQL #19: by meta-codesync bot
5m 51s main
main
5m 51s