Skip to content

Actions: facebook/infer

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install.yml
728 workflow runs
728 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[html debug] better names for WIDEN args build #4625: Commit ead4d48 pushed by meta-codesync bot
17m 0s main
main
17m 0s
Remove unused imports build #4624: Pull request #1954 synchronize by vil02
Action required vil02:remove_unused_import
vil02:remove_unused_import
Action required
[swift] Translate swift_weakAssign as a store build #4623: Commit 41c8722 pushed by meta-codesync bot
13m 17s main
main
13m 17s
Remove unused imports build #4622: Pull request #1954 opened by vil02
Action required vil02:remove_unused_import
vil02:remove_unused_import
Action required
[ipc-on-ui-thread] remove Display.getRealSize pattern build #4621: Commit bc3869e pushed by meta-codesync bot
10m 54s main
main
10m 54s
[semdiff] add more tests containing fps build #4620: Commit aabbc23 pushed by meta-codesync bot
12m 40s main
main
12m 40s
[semdiff][refactoring 10/n] extract functions is_line_number_field an… build #4619: Commit c9b2196 pushed by meta-codesync bot
12m 18s main
main
12m 18s
[swift] Translate away weak specific builtins build #4618: Commit 0272d00 pushed by meta-codesync bot
11m 44s main
main
11m 44s
[swift] Translate is_weak in all the fieldname occurrences in the code build #4617: Commit 597046d pushed by meta-codesync bot
12m 24s main
main
12m 24s
[infinite-loop] flush path stamp when entering a loop first time build #4616: Commit 16b3fc4 pushed by meta-codesync bot
12m 38s main
main
12m 38s
[swift] Adding example of not retain cycle with weak attribute build #4615: Commit c26f37b pushed by meta-codesync bot
12m 26s main
main
12m 26s
[semdiff] improve output with line number info build #4614: Commit 5e603a8 pushed by meta-codesync bot
12m 8s main
main
12m 8s
[semdiff] add test to illustrate noise in output build #4613: Commit bd03577 pushed by meta-codesync bot
14m 31s main
main
14m 31s
- Removed the unused lib/rust files build #4612: Pull request #1950 opened by ArjanSeijs
1m 1s ArjanSeijs:charon-lib-dependency
ArjanSeijs:charon-lib-dependency
1m 1s
[semdiff] add test with type annotations using quotes build #4611: Commit faa91fa pushed by meta-codesync bot
13m 23s main
main
13m 23s
[semdiff] handle type comparison fp build #4610: Commit 24a5843 pushed by meta-codesync bot
10m 44s main
main
10m 44s
build build #4609: by meta-codesync bot
14m 31s main
main
14m 31s
[llvm] rename zeroth patch build #4608: Commit 8859e8f pushed by meta-codesync bot
12m 41s main
main
12m 41s
[opam] Update opam lock file build #4607: Commit edef995 pushed by meta-codesync bot
10m 50s main
main
10m 50s
[infer] Configuration files for charon lib (#1947) build #4606: Commit f447d85 pushed by meta-codesync bot
12m 26s main
main
12m 26s
[pulse][unknown-values] propagate the new boolean to report.json build #4605: Commit c56ed0d pushed by meta-codesync bot
10m 27s main
main
10m 27s
[semdiff] add fp test build #4604: Commit c887af3 pushed by meta-codesync bot
11m 23s main
main
11m 23s
[semdiff] add special treatment for ellipsis build #4603: Commit ae5af33 pushed by meta-codesync bot
12m 32s main
main
12m 32s
Infinite loop checker thanks to new recurring state logic (#1946) build #4602: Commit 2d0b963 pushed by meta-codesync bot
13m 30s main
main
13m 30s
[swift] Finding a retain cycle example build #4601: Commit ac3b586 pushed by meta-codesync bot
12m 25s main
main
12m 25s