Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
795 workflow runs
795 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[llvm] Do not crash on some translation errors, add a nondet exp build #4630: Commit eba375e pushed by meta-codesync bot
13m 14s main
main
13m 14s
[llvm] Change the naming of variables to match with the naming of val… build #4629: Commit a0875b6 pushed by meta-codesync bot
11m 6s main
main
11m 6s
npm_and_yarn in /website for webpack-dev-server - Update #1132745935 Dependabot Updates #43: by dependabot bot
1m 9s main
main
1m 9s
[absint] do not narrow when you should not build #4628: Commit 4bafb09 pushed by meta-codesync bot
10m 58s main
main
10m 58s
- Removed the unused lib/rust files build #4627: Pull request #1950 synchronize by ArjanSeijs
1m 36s ArjanSeijs:charon-lib-dependency
ArjanSeijs:charon-lib-dependency
1m 36s
[swift] Translate the type of optionals better build #4626: Commit 309c364 pushed by meta-codesync bot
12m 43s main
main
12m 43s
[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