Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[erl-frontend] Add test cases for map comprehensions/generators build #3636: Commit 7e35fcb pushed by facebook-github-bot
May 31, 2024 18:10 30m 26s main
main
May 31, 2024 18:10 30m 26s
[erl-frontend] Add support for else clauses in maybe build #3635: Commit 16527da pushed by facebook-github-bot
May 31, 2024 17:43 29m 44s main
main
May 31, 2024 17:43 29m 44s
[erl-frontend] Refactor maybe expression translation build #3634: Commit 3c445d8 pushed by facebook-github-bot
May 31, 2024 17:15 29m 36s main
main
May 31, 2024 17:15 29m 36s
[pulse] detect mutual recursion cycles of arbitrary length build #3633: Commit d842751 pushed by facebook-github-bot
May 31, 2024 17:06 29m 59s main
main
May 31, 2024 17:06 29m 59s
pages build and deployment pages-build-deployment #38: by github-pages bot
May 31, 2024 15:01 53s
May 31, 2024 15:01 53s
update website website #153: Commit b42f216 pushed by facebook-github-bot
May 31, 2024 15:00 1m 33s main
main
May 31, 2024 15:00 1m 33s
update website build #3632: Commit b42f216 pushed by facebook-github-bot
May 31, 2024 15:00 29m 24s main
main
May 31, 2024 15:00 29m 24s
[CIAC] Fix reporting location build #3631: Commit d90f0fa pushed by facebook-github-bot
May 31, 2024 12:03 29m 8s main
main
May 31, 2024 12:03 29m 8s
[infer][starvation] Add progress bar to global analysis build #3630: Commit 7442f0e pushed by facebook-github-bot
May 30, 2024 22:00 29m 48s main
main
May 30, 2024 22:00 29m 48s
[erlang] Don't die on repeated imports build #3629: Commit b1a0e75 pushed by facebook-github-bot
May 30, 2024 20:17 29m 23s main
main
May 30, 2024 20:17 29m 23s
[infer] tidy up PulseFormula, log inconsistent types correctly again build #3628: Commit 5cfa217 pushed by facebook-github-bot
May 30, 2024 18:52 31m 42s main
main
May 30, 2024 18:52 31m 42s
[backend] no need to duplicate summaries to use them during reporting build #3627: Commit 2ed22d2 pushed by facebook-github-bot
May 30, 2024 16:31 30m 18s main
main
May 30, 2024 16:31 30m 18s
Use closure-free sets and maps in LineageShape structures build #3626: Commit 30c0047 pushed by facebook-github-bot
May 30, 2024 16:13 29m 25s main
main
May 30, 2024 16:13 29m 25s
[erl-frontend] Fix formatting and remove unused import build #3625: Commit 66d1859 pushed by facebook-github-bot
May 30, 2024 15:14 23m 44s main
main
May 30, 2024 15:14 23m 44s
[erl-frontend] Add support for maybe_match operator build #3624: Commit 7ed354c pushed by facebook-github-bot
May 30, 2024 14:03 30m 43s main
main
May 30, 2024 14:03 30m 43s
[erl-frontend] Add support for maybe expression build #3623: Commit 238e99c pushed by facebook-github-bot
May 30, 2024 12:17 29m 53s main
main
May 30, 2024 12:17 29m 53s
remove spammy logging build #3622: Commit 9853220 pushed by facebook-github-bot
May 30, 2024 12:09 30m 2s main
main
May 30, 2024 12:09 30m 2s
add tests for parameter types build #3621: Commit 3090676 pushed by facebook-github-bot
May 30, 2024 07:47 29m 34s main
main
May 30, 2024 07:47 29m 34s
[inferhack] bump hackc version with capture test results build #3620: Commit 1c436c6 pushed by facebook-github-bot
May 30, 2024 07:41 30m 3s main
main
May 30, 2024 07:41 30m 3s
[dict missing key] Add FN tests build #3619: Commit 1a563b0 pushed by facebook-github-bot
May 30, 2024 03:40 29m 40s main
main
May 30, 2024 03:40 29m 40s
[pulse] report recursive cycles of length 1 build #3618: Commit c8691d5 pushed by facebook-github-bot
May 29, 2024 23:50 26m 28s main
main
May 29, 2024 23:50 26m 28s
Use Caml hashtables in LineageShape summaries build #3617: Commit 61220e1 pushed by facebook-github-bot
May 29, 2024 22:44 30m 42s main
main
May 29, 2024 22:44 30m 42s
[infer] draw more (correct) conclusions from type constraints build #3616: Commit e1c0fdc pushed by facebook-github-bot
May 29, 2024 08:37 26m 43s main
main
May 29, 2024 08:37 26m 43s
[config] Fix deprecation of --remodel-class build #3615: Commit e8ba3e2 pushed by facebook-github-bot
May 29, 2024 01:34 29m 56s main
main
May 29, 2024 01:34 29m 56s
LineageShape: inline Types definition build #3614: Commit a011a8c pushed by facebook-github-bot
May 28, 2024 23:34 27m 29s main
main
May 28, 2024 23:34 27m 29s