Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[infer][dsl] translating C alloc model to the new DSL build #3158: Commit bffdfd9 pushed by facebook-github-bot
November 23, 2023 11:48 54m 38s main
main
November 23, 2023 11:48 54m 38s
[clang] Do not report memory leaks when the cleanup attribute is used build #3157: Commit 28942ff pushed by facebook-github-bot
November 22, 2023 17:53 45m 10s main
main
November 22, 2023 17:53 45m 10s
Logging DB models stats build #3156: Commit f168e40 pushed by facebook-github-bot
November 22, 2023 14:14 45m 13s main
main
November 22, 2023 14:14 45m 13s
[bxl] use --depth=%i format build #3155: Commit bf166a4 pushed by facebook-github-bot
November 22, 2023 07:31 58m 41s main
main
November 22, 2023 07:31 58m 41s
[hack][test] we exercize a combination of late static binding and trait build #3154: Commit ce44bc0 pushed by facebook-github-bot
November 21, 2023 13:22 45m 7s main
main
November 21, 2023 13:22 45m 7s
[pulse] Make --pulse-force-continue more aggressive build #3153: Commit a0787f8 pushed by facebook-github-bot
November 21, 2023 13:03 55m 9s main
main
November 21, 2023 13:03 55m 9s
pages build and deployment pages-build-deployment #30: by github-pages bot
November 21, 2023 12:10 1m 5s gh-pages
gh-pages
November 21, 2023 12:10 1m 5s
[website] Update documentation website #137: Commit 889d4c8 pushed by facebook-github-bot
November 21, 2023 12:08 1m 27s main
main
November 21, 2023 12:08 1m 27s
[website] Update documentation build #3152: Commit 889d4c8 pushed by facebook-github-bot
November 21, 2023 12:08 46m 53s main
main
November 21, 2023 12:08 46m 53s
[reference-stability] Add extra message in operator[] invalidation case build #3151: Commit 971d601 pushed by facebook-github-bot
November 21, 2023 11:15 44m 30s main
main
November 21, 2023 11:15 44m 30s
[reference-stability] Minor documentation update build #3150: Commit a41ada9 pushed by facebook-github-bot
November 21, 2023 10:57 1h 12m 24s main
main
November 21, 2023 10:57 1h 12m 24s
[config usage] Add models for some std::string_view build #3149: Commit 147a7df pushed by facebook-github-bot
November 20, 2023 09:48 56m 37s main
main
November 20, 2023 09:48 56m 37s
pages build and deployment pages-build-deployment #29: by github-pages bot
November 17, 2023 13:57 1m 4s gh-pages
gh-pages
November 17, 2023 13:57 1m 4s
[doc] Fix some odoc warnings website #136: Commit 8fbe726 pushed by facebook-github-bot
November 17, 2023 13:56 1m 52s main
main
November 17, 2023 13:56 1m 52s
[doc] Fix some odoc warnings build #3148: Commit 8fbe726 pushed by facebook-github-bot
November 17, 2023 13:56 47m 37s main
main
November 17, 2023 13:56 47m 37s
[reference-stability] Cover swap build #3147: Commit 658cf9e pushed by facebook-github-bot
November 17, 2023 13:49 55m 47s main
main
November 17, 2023 13:49 55m 47s
Lineage: disable field sensitivity on huge procedures build #3146: Commit d9ea03b pushed by facebook-github-bot
November 16, 2023 18:02 38m 51s main
main
November 16, 2023 18:02 38m 51s
[unnecessary copy] Add FP test due to full disjuncts build #3145: Commit 397346d pushed by facebook-github-bot
November 16, 2023 16:05 47m 58s main
main
November 16, 2023 16:05 47m 58s
[unnecessary copy] Add more lock method patterns to avoid FP build #3144: Commit 7881bc8 pushed by facebook-github-bot
November 16, 2023 10:30 50m 10s main
main
November 16, 2023 10:30 50m 10s
[ppx] apply to annot and procname build #3143: Commit 2860a92 pushed by facebook-github-bot
November 16, 2023 08:10 45m 25s main
main
November 16, 2023 08:10 45m 25s
[reference-stability] Do not report issues on double lookups build #3142: Commit 54ea5bb pushed by facebook-github-bot
November 16, 2023 00:06 44m 37s main
main
November 16, 2023 00:06 44m 37s
[reference-stability] Fix assertion bug build #3141: Commit e77a737 pushed by facebook-github-bot
November 15, 2023 16:11 44m 51s main
main
November 15, 2023 16:11 44m 51s
[pulse] stop spammy and incorrect error build #3140: Commit 912e484 pushed by facebook-github-bot
November 15, 2023 10:16 43m 1s main
main
November 15, 2023 10:16 43m 1s
[taint] Cut off taint traces as soon as the sink is hit build #3139: Commit f8c628a pushed by facebook-github-bot
November 14, 2023 16:47 56m 4s main
main
November 14, 2023 16:47 56m 4s
Lineage: don't simplify away projecting/injecting edges build #3138: Commit 9ed1786 pushed by facebook-github-bot
November 14, 2023 16:42 44m 39s main
main
November 14, 2023 16:42 44m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-11-14 or the other filters available.