Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,092 workflow runs
1,092 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[swift] Llair to Textual: translate llair types build #4219: Commit d451339 pushed by facebook-github-bot
February 7, 2025 13:45 57m 56s main
main
February 7, 2025 13:45 57m 56s
[hashnorm][multicore] use domain-local storage build #4218: Commit 56ed65f pushed by facebook-github-bot
February 7, 2025 12:39 58m 30s main
main
February 7, 2025 12:39 58m 30s
[sledge] less segfaulty build #4217: Commit 4ff8ea9 pushed by facebook-github-bot
February 7, 2025 11:37 1h 2m 17s main
main
February 7, 2025 11:37 1h 2m 17s
[InferPython] Add model for py_make_string build #4216: Commit 57c19eb pushed by facebook-github-bot
February 7, 2025 10:33 56m 0s main
main
February 7, 2025 10:33 56m 0s
[domainpool] periodically run a compaction build #4215: Commit 5353347 pushed by facebook-github-bot
February 7, 2025 10:22 1h 8m 2s main
main
February 7, 2025 10:22 1h 8m 2s
[config] remove deprecated options build #4214: Commit 5d5deaf pushed by facebook-github-bot
February 6, 2025 20:34 1h 4m 39s main
main
February 6, 2025 20:34 1h 4m 39s
[python] new flag to explicitly control source prefix trimming build #4213: Commit 2387369 pushed by facebook-github-bot
February 6, 2025 17:34 1h 0m 37s main
main
February 6, 2025 17:34 1h 0m 37s
[multicore] domain pool build #4212: Commit 1a3cff7 pushed by facebook-github-bot
February 6, 2025 17:19 1h 8m 24s main
main
February 6, 2025 17:19 1h 8m 24s
[stats] remove dead code and data build #4211: Commit 44d107d pushed by facebook-github-bot
February 6, 2025 15:08 1h 0m 57s main
main
February 6, 2025 15:08 1h 0m 57s
[inferpython] treat all unmodelled py_* builtins as deep_release calls build #4210: Commit 150326f pushed by facebook-github-bot
February 6, 2025 15:01 1h 3m 35s main
main
February 6, 2025 15:01 1h 3m 35s
[swift] Llair to Textual: adding formals types build #4209: Commit 97989f2 pushed by facebook-github-bot
February 6, 2025 14:53 1h 18m 33s main
main
February 6, 2025 14:53 1h 18m 33s
[hack] Add FN test for enum labels build #4208: Commit 6f013f1 pushed by facebook-github-bot
February 6, 2025 13:46 57m 54s main
main
February 6, 2025 13:46 57m 54s
[inferpython] do not track awaitables that are crafted inside dict ge… build #4207: Commit 4ac3f60 pushed by facebook-github-bot
February 5, 2025 15:30 1h 3m 8s main
main
February 5, 2025 15:30 1h 3m 8s
[swift] Llair to Textual: translating formals and locals from functions build #4206: Commit 4e79bb4 pushed by facebook-github-bot
February 5, 2025 14:03 1h 9m 52s main
main
February 5, 2025 14:03 1h 9m 52s
[utils] implement dir iter as dir fold build #4205: Commit 33a5a2f pushed by facebook-github-bot
February 5, 2025 12:24 53m 37s main
main
February 5, 2025 12:24 53m 37s
[utils] no poly equality build #4204: Commit 88eca24 pushed by facebook-github-bot
February 5, 2025 07:23 57m 38s main
main
February 5, 2025 07:23 57m 38s
[inferpython] don't try to parse complex UTF8 strings build #4203: Commit 894980b pushed by facebook-github-bot
February 4, 2025 20:35 53m 43s main
main
February 4, 2025 20:35 53m 43s
[utils] remove cache behind realpath build #4202: Commit 7638d21 pushed by facebook-github-bot
February 4, 2025 16:00 1h 0m 18s main
main
February 4, 2025 16:00 1h 0m 18s
[sourcefile] remove exists cache build #4201: Commit 709827b pushed by facebook-github-bot
February 4, 2025 15:57 57m 39s main
main
February 4, 2025 15:57 57m 39s
[capture][bxl] pass --keep-going flags to bxl scripts build #4200: Commit 26babfd pushed by facebook-github-bot
February 4, 2025 15:23 1h 8m 10s main
main
February 4, 2025 15:23 1h 8m 10s
[pulse] ensure we log why formulas become UNSAT build #4199: Commit be39589 pushed by facebook-github-bot
February 4, 2025 15:11 1h 2m 2s main
main
February 4, 2025 15:11 1h 2m 2s
fix compile warnings/errors build #4198: Commit 7dd8847 pushed by facebook-github-bot
February 4, 2025 13:43 51m 2s main
main
February 4, 2025 13:43 51m 2s
[concurrentqueue] rename from safequeue build #4197: Commit d3883f9 pushed by facebook-github-bot
February 3, 2025 16:41 1h 12m 0s main
main
February 3, 2025 16:41 1h 12m 0s
[processpoolstate] use DLS and rename build #4196: Commit ffcd3fe pushed by facebook-github-bot
February 3, 2025 11:02 1h 3m 42s main
main
February 3, 2025 11:02 1h 3m 42s
[inferpython] adding pulse-deep-release-model option build #4195: Commit 93600a0 pushed by facebook-github-bot
January 31, 2025 15:40 52m 41s main
main
January 31, 2025 15:40 52m 41s