Skip to content

Actions: facebook/infer

Actions

devsetup

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
devsetup.yml
132 workflow runs
132 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[rust][TreeBorrows] Create borrow tags devsetup #116: Pull request #2069 opened by MateiMirica
33m 45s MateiMirica:tree-borrows-tags
MateiMirica:tree-borrows-tags
33m 45s
[infer][pulse] model java.util.Optional to catch resource leaks through it devsetup #115: Pull request #2068 opened by SuryanshSS1011
1h 0m 27s SuryanshSS1011:pulse-model-optional-resource-leak
SuryanshSS1011:pulse-model-optional-resource-leak
1h 0m 27s
[rust][TreeBorrows] Emit a retag builtin when references are created devsetup #114: Pull request #2067 opened by MateiMirica
1h 22m 35s MateiMirica:emit-retag-builtin
MateiMirica:emit-retag-builtin
1h 22m 35s
[rust][TreeBorrows] Add Tree Borrows state in the Pulse abstract state devsetup #113: Pull request #2066 opened by MateiMirica
38m 46s MateiMirica:tree-borrows-state
MateiMirica:tree-borrows-state
38m 46s
[semdiff] reduce B006 migration false positives devsetup #112: Pull request #2065 synchronize by davidpichardie
29m 6s davidpichardie:semdiff-b006-fp
davidpichardie:semdiff-b006-fp
29m 6s
[semdiff] reduce B006 migration false positives devsetup #111: Pull request #2065 synchronize by davidpichardie
36m 9s davidpichardie:semdiff-b006-fp
davidpichardie:semdiff-b006-fp
36m 9s
[semdiff] reduce B006 migration false positives devsetup #110: Pull request #2065 opened by davidpichardie
42m 44s davidpichardie:semdiff-b006-fp
davidpichardie:semdiff-b006-fp
42m 44s
[rust][TreeBorrows] Register the Tree Borrows checker devsetup #109: Pull request #2060 synchronize by MateiMirica
25m 51s MateiMirica:register-tb-checker
MateiMirica:register-tb-checker
25m 51s
[rust][TreeBorrows] Register the Tree Borrows checker devsetup #108: Pull request #2060 synchronize by MateiMirica
44m 20s MateiMirica:register-tb-checker
MateiMirica:register-tb-checker
44m 20s
[rust][TreeBorrows] Pointer reference and mutability information devsetup #107: Pull request #2059 synchronize by MateiMirica
29m 2s MateiMirica:add-type-info
MateiMirica:add-type-info
29m 2s
[rust][TreeBorrows] Register the Tree Borrows checker devsetup #106: Pull request #2060 synchronize by MateiMirica
40m 53s MateiMirica:register-tb-checker
MateiMirica:register-tb-checker
40m 53s
[ocaml] upgrade to 5.4.1 devsetup #105: Pull request #2056 synchronize by ngorogiannis
27m 24s ngorogiannis:5.4.1
ngorogiannis:5.4.1
27m 24s
[multicore] fix bug in compaction threshold devsetup #104: Pull request #2062 synchronize by ngorogiannis
45m 6s ngorogiannis:compaction-size
ngorogiannis:compaction-size
45m 6s
[multicore] fix bug in compaction threshold devsetup #103: Pull request #2062 synchronize by ngorogiannis
27m 21s ngorogiannis:compaction-size
ngorogiannis:compaction-size
27m 21s
Bump http-proxy-middleware from 2.0.9 to 2.0.10 in /website devsetup #102: Pull request #2064 opened by dependabot Bot
39m 24s dependabot/npm_and_yarn/website/http-proxy-middleware-2.0.10
dependabot/npm_and_yarn/website/http-proxy-middleware-2.0.10
39m 24s
[multicore] fix bug in minor heap size selection devsetup #101: Pull request #2061 synchronize by ngorogiannis
26m 29s ngorogiannis:minor-heap
ngorogiannis:minor-heap
26m 29s
[multicore] fix bug in compaction threshold devsetup #100: Pull request #2062 synchronize by ngorogiannis
39m 50s ngorogiannis:compaction-size
ngorogiannis:compaction-size
39m 50s
[semdiff] Python migration checker: fix conversion crashes and false positives devsetup #99: Pull request #2063 opened by davidpichardie
30m 16s davidpichardie:semdiff-peg-fixes
davidpichardie:semdiff-peg-fixes
30m 16s
[ocaml] upgrade to 5.4.1 devsetup #98: Pull request #2056 synchronize by martintrojer
26m 40s ngorogiannis:5.4.1
ngorogiannis:5.4.1
26m 40s
[rust][TreeBorrows] Pointer reference and mutability information devsetup #97: Pull request #2059 synchronize by MateiMirica
36m 13s MateiMirica:add-type-info
MateiMirica:add-type-info
36m 13s
[multicore] fix bug in compaction threshold devsetup #96: Pull request #2062 opened by ngorogiannis
33m 40s ngorogiannis:compaction-size
ngorogiannis:compaction-size
33m 40s
[multicore] fix bug in minor heap size selection devsetup #95: Pull request #2061 opened by ngorogiannis
31m 12s ngorogiannis:minor-heap
ngorogiannis:minor-heap
31m 12s
[ci] fix the macOS build on the GitHub CI devsetup #94: Pull request #2058 synchronize by jeremydubreil
30m 46s jeremydubreil:fix-macOS-build
jeremydubreil:fix-macOS-build
30m 46s
[ci] fix the macOS build on the GitHub CI devsetup #91: Pull request #2058 opened by jeremydubreil
36m 4s jeremydubreil:fix-macOS-build
jeremydubreil:fix-macOS-build
36m 4s
[ocaml] upgrade to 5.4.1 devsetup #90: Pull request #2056 synchronize by ngorogiannis
45m 18s ngorogiannis:5.4.1
ngorogiannis:5.4.1
45m 18s