+
Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
834 workflow runs
834 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

- Removed the unused lib/rust files build #4612: Pull request #1950 opened by ArjanSeijs
1m 1s ArjanSeijs:charon-lib-dependency
ArjanSeijs:charon-lib-dependency
1m 1s
[semdiff] add test with type annotations using quotes build #4611: Commit faa91fa pushed by meta-codesync bot
13m 23s main
main
13m 23s
[semdiff] handle type comparison fp build #4610: Commit 24a5843 pushed by meta-codesync bot
10m 44s main
main
10m 44s
build build #4609: by meta-codesync bot
14m 31s main
main
14m 31s
[llvm] rename zeroth patch build #4608: Commit 8859e8f pushed by meta-codesync bot
12m 41s main
main
12m 41s
[opam] Update opam lock file build #4607: Commit edef995 pushed by meta-codesync bot
10m 50s main
main
10m 50s
[infer] Configuration files for charon lib (#1947) build #4606: Commit f447d85 pushed by meta-codesync bot
12m 26s main
main
12m 26s
[pulse][unknown-values] propagate the new boolean to report.json build #4605: Commit c56ed0d pushed by meta-codesync bot
10m 27s main
main
10m 27s
[semdiff] add fp test build #4604: Commit c887af3 pushed by meta-codesync bot
11m 23s main
main
11m 23s
[semdiff] add special treatment for ellipsis build #4603: Commit ae5af33 pushed by meta-codesync bot
12m 32s main
main
12m 32s
Infinite loop checker thanks to new recurring state logic (#1946) build #4602: Commit 2d0b963 pushed by meta-codesync bot
13m 30s main
main
13m 30s
[swift] Finding a retain cycle example build #4601: Commit ac3b586 pushed by meta-codesync bot
12m 25s main
main
12m 25s
Configuration files for charon build #4600: Pull request #1947 opened by ArjanSeijs
10m 27s ArjanSeijs:charon-config
ArjanSeijs:charon-config
10m 27s
[swift] Methods of structs build #4599: Commit f8a79a3 pushed by meta-codesync bot
10m 57s main
main
10m 57s
Reduced FP by 30% in infinite loop checker thanks to new recurring st… build #4598: Pull request #1946 opened by jvanegue
13m 23s jvanegue:mergeme
jvanegue:mergeme
13m 23s
[swift] Adding a struct example build #4597: Commit c2431c2 pushed by facebook-github-bot
10m 38s main
main
10m 38s
[doc] fix pulse-latent example build #4596: Commit 2ea7cce pushed by facebook-github-bot
11m 0s main
main
11m 0s
[opam] remove llvm20 packages build #4595: Commit 8db7c5d pushed by facebook-github-bot
12m 7s main
main
12m 7s
[llvm] allow building with swift llvm build #4594: Commit f740c96 pushed by facebook-github-bot
21m 52s main
main
21m 52s
[llvm] Change the patch names such that the order is clear in the name build #4593: Commit c9e60fe pushed by facebook-github-bot
21m 24s main
main
21m 24s
[swift] Add plain name to Swift classes build #4592: Commit 60d22fa pushed by facebook-github-bot
21m 9s main
main
21m 9s
[github] disable macos-latest build #4591: Commit 4c96d6f pushed by facebook-github-bot
23m 27s main
main
23m 27s
[llvm] set version to 19.1.4 build #4590: Commit 81cbf9d pushed by facebook-github-bot
1h 15m 40s main
main
1h 15m 40s
[cleanup] remove more buck1 stuff build #4589: Commit 350da10 pushed by facebook-github-bot
1h 17m 43s main
main
1h 17m 43s
[llvm] downgrade to v19 build #4588: Commit 4320412 pushed by facebook-github-bot
1h 5m 16s main
main
1h 5m 16s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载