Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,017 workflow runs
1,017 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Use List.rev_append instead of @ in LineageTaint build #3560: Commit 771f0b0 pushed by facebook-github-bot
May 8, 2024 19:58 26m 31s main
main
May 8, 2024 19:58 26m 31s
[topl] Match (argument) types against supertypes build #3559: Commit 1183ccb pushed by facebook-github-bot
May 8, 2024 15:31 27m 31s main
main
May 8, 2024 15:31 27m 31s
Make LineageTaint more robust to unexpected usecases build #3558: Commit f4a1aae pushed by facebook-github-bot
May 8, 2024 15:00 26m 17s main
main
May 8, 2024 15:00 26m 17s
[inferhack] tweak model of iter_next to account for hackc change build #3557: Commit d8352a4 pushed by facebook-github-bot
May 8, 2024 13:19 27m 49s main
main
May 8, 2024 13:19 27m 49s
[dict missing key] Report issue on dict field build #3556: Commit c92756a pushed by facebook-github-bot
May 8, 2024 12:56 27m 36s main
main
May 8, 2024 12:56 27m 36s
[github] Fix CI on macos build #3555: Commit 8c08aa8 pushed by facebook-github-bot
May 7, 2024 12:21 1h 20m 57s main
main
May 7, 2024 12:21 1h 20m 57s
[annot] Add test cases with not inheriting superclass/interface annot… build #3554: Commit ab27f28 pushed by facebook-github-bot
May 7, 2024 08:47 26m 56s main
main
May 7, 2024 08:47 26m 56s
[annot] Add test case with transitive call build #3553: Commit 4b7be02 pushed by facebook-github-bot
May 7, 2024 06:13 26m 57s main
main
May 7, 2024 06:13 26m 57s
[annot] Add test for corner case build #3552: Commit 1275994 pushed by facebook-github-bot
May 6, 2024 07:13 27m 3s main
main
May 6, 2024 07:13 27m 3s
[hack] Add PULSE_CANNOT_INSTANTIATE_ABSTRACT_CLASS issue type build #3551: Commit de2fb0f pushed by facebook-github-bot
May 4, 2024 15:24 26m 14s main
main
May 4, 2024 15:24 26m 14s
[clang] Improve broken translation of [super new] build #3550: Commit 9bd6464 pushed by facebook-github-bot
May 3, 2024 17:13 26m 43s main
main
May 3, 2024 17:13 26m 43s
[refactor] Small refactors of Lineage.Out build #3549: Commit 61db481 pushed by facebook-github-bot
May 3, 2024 14:42 27m 12s main
main
May 3, 2024 14:42 27m 12s
[annot] Add option to skip annotations from superclasses/interfaces build #3548: Commit 570f6d6 pushed by facebook-github-bot
May 3, 2024 08:24 27m 14s main
main
May 3, 2024 08:24 27m 14s
[retain cycles] Adding a test that shows an example where we report a… build #3547: Commit 12fcbe1 pushed by facebook-github-bot
May 2, 2024 16:06 28m 4s main
main
May 2, 2024 16:06 28m 4s
[annot] Add test case for class/interface level annotations build #3546: Commit 731f905 pushed by facebook-github-bot
May 2, 2024 15:55 26m 32s main
main
May 2, 2024 15:55 26m 32s
[retain cycles] Improve the filtering of retain cycles reporting build #3545: Commit df9bf7d pushed by facebook-github-bot
May 1, 2024 17:12 26m 40s main
main
May 1, 2024 17:12 26m 40s
[annot] Use FullNameOnly verbosity for matching method class/name build #3544: Commit 87c53a9 pushed by facebook-github-bot
May 1, 2024 17:01 26m 59s main
main
May 1, 2024 17:01 26m 59s
[clang] Add default case for all switch in ASTExporter.h build #3543: Commit e8945d6 pushed by facebook-github-bot
May 1, 2024 16:35 26m 14s main
main
May 1, 2024 16:35 26m 14s
[refactor] Lineage.Out: have base json writing functions take channel… build #3542: Commit 9cd0e6b pushed by facebook-github-bot
May 1, 2024 16:12 26m 39s main
main
May 1, 2024 16:12 26m 39s
[infer] Remove CONTRIBUTORS file build #3541: Commit 8edb22e pushed by facebook-github-bot
May 1, 2024 13:45 27m 7s main
main
May 1, 2024 13:45 27m 7s
[annot] Only report special issue type if special check is enabled build #3540: Commit 1680714 pushed by facebook-github-bot
April 30, 2024 19:21 26m 37s main
main
April 30, 2024 19:21 26m 37s
Add Report as a debug kind build #3539: Commit 363e5a9 pushed by facebook-github-bot
April 30, 2024 18:15 26m 50s main
main
April 30, 2024 18:15 26m 50s
[ocamlformat] Make fmt now works for mercurial/sapling repos build #3538: Commit 54c3854 pushed by facebook-github-bot
April 30, 2024 17:01 26m 32s main
main
April 30, 2024 17:01 26m 32s
[uninit] Revise semantic model of value_or build #3537: Commit 545ea78 pushed by facebook-github-bot
April 30, 2024 11:19 27m 28s main
main
April 30, 2024 11:19 27m 28s
[hack] Add semantic model of C\contains_key build #3536: Commit c8b662c pushed by facebook-github-bot
April 30, 2024 11:10 27m 22s main
main
April 30, 2024 11:10 27m 22s