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
783 workflow runs
783 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[annot] Add option to minimize paths on sink side build #3924: Commit e0a67ea pushed by facebook-github-bot
1h 8m 47s main
main
1h 8m 47s
[annot] No need to track visited procedure names anymore build #3923: Commit 7bf83a7 pushed by facebook-github-bot
1h 13m 9s main
main
1h 13m 9s
[istd] make Sexpable also Hashable build #3922: Commit 8afe807 pushed by facebook-github-bot
1h 0m 51s main
main
1h 0m 51s
[annot] Do not iterate through every pair of sinks between caller and… build #3921: Commit 452d96d pushed by facebook-github-bot
55m 54s main
main
55m 54s
[debug html] print sexp corresponding to specialized procedures build #3920: Commit 22ac1ac pushed by facebook-github-bot
59m 20s main
main
59m 20s
[annot] Add every callsite in during analysis build #3919: Commit b3a9929 pushed by facebook-github-bot
1h 10m 55s main
main
1h 10m 55s
[annot] Fix bug: add entry instead of overwriting build #3918: Commit 99627cb pushed by facebook-github-bot
1h 8m 11s main
main
1h 8m 11s
[istd] IInt module with set, map and hash build #3917: Commit 22e4ae2 pushed by facebook-github-bot
56m 31s main
main
56m 31s
ProTip! You can narrow down the results and go further in time using created:<2024-09-15 or the other filters available.