Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
829 workflow runs
829 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[semdiff] add more tests to validate new condition build #4587: Commit 9fd24b1 pushed by facebook-github-bot
55m 13s main
main
55m 13s
[objc] Removing a flaky test build #4586: Commit d01c232 pushed by facebook-github-bot
1h 14m 47s main
main
1h 14m 47s
[swift] Example of retain cycle with closures build #4585: Commit f2dca1b pushed by facebook-github-bot
1h 20m 55s main
main
1h 20m 55s
[semdiff] use Infer debug mode for semdiff build #4584: Commit 85f4dbf pushed by facebook-github-bot
1h 15m 54s main
main
1h 15m 54s
[infinite loop] introduce widen_list instead of back_edges function build #4583: Commit a08a602 pushed by facebook-github-bot
1h 0m 31s main
main
1h 0m 31s