Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
805 workflow runs
805 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[swift] Fix specialisation of closures when there are no captured var… build #4752: Commit 75d81ac pushed by meta-codesync bot
40m 50s main
main
40m 50s
npm_and_yarn in /website for webpack-dev-server - Update #1181106969 Dependabot Updates #56: by dependabot bot
1m 0s main
main
1m 0s
[ci] prevent duplicated CI jobs between PRs and pushes to main (#1979) build #4751: Commit f15c0db pushed by meta-codesync bot
39m 58s main
main
39m 58s
[llvm] code simplification build #4750: Commit 9ad44de pushed by meta-codesync bot
39m 29s main
main
39m 29s
npm_and_yarn in /website for webpack-dev-server - Update #1180358726 Dependabot Updates #55: by dependabot bot
55s main
main
55s
[swift] Removing Swift mangled procnames and mangled class names from… build #4749: Commit 3344a5a pushed by meta-codesync bot
39m 45s main
main
39m 45s
[pulse][DSL] test if a DSL call returns UNSAT build #4748: Commit 8b6ae3d pushed by meta-codesync bot
35m 13s main
main
35m 13s
[swift] Test with captures variables and without. build #4747: Commit fe2cf86 pushed by meta-codesync bot
38m 53s main
main
38m 53s
[ci] add basic workflow testing the dev setup build #4746: Pull request #1981 opened by jeremydubreil
38m 8s jeremydubreil:devsetup-workflow
jeremydubreil:devsetup-workflow
38m 8s
[ci] add basic workflow testing the dev setup devsetup #1: Pull request #1981 opened by jeremydubreil
38m 36s jeremydubreil:devsetup-workflow
jeremydubreil:devsetup-workflow
38m 36s
[llvm] stats collection build #4745: Commit 7d6de58 pushed by meta-codesync bot
38m 41s main
main
38m 41s
[ci] create releases for the macOS Intel platform build #4744: Pull request #1980 opened by jeremydubreil
3h 31m 59s jeremydubreil:enable-release-macOS
jeremydubreil:enable-release-macOS
3h 31m 59s
[llvm] refactor bitcode api build #4743: Commit d18c9c5 pushed by meta-codesync bot
39m 2s main
main
39m 2s
[swift] Implement specialisation for Swift closures build #4742: Commit a24cf14 pushed by meta-codesync bot
34m 54s main
main
34m 54s
[docs] remove references to biabduction in CONTRIBUTING.md (#1977) build #4741: Commit daf5215 pushed by meta-codesync bot
39m 31s main
main
39m 31s
[ci] prevent duplicated CI jobs between PRs and pushes to main build #4740: Pull request #1979 opened by jeremydubreil
38m 56s jeremydubreil:split-push-and-pull-requests
jeremydubreil:split-push-and-pull-requests
38m 56s
[docs] remove references to biabduction in CONTRIBUTING.md build #4739: Pull request #1977 opened by jeremydubreil
34m 38s jeremydubreil:use-pulse-docs
jeremydubreil:use-pulse-docs
34m 38s
[llvm] remove List.rev on translated results build #4738: Commit 0b546d3 pushed by meta-codesync bot
38m 43s main
main
38m 43s
[llvm] small perf fixes build #4737: Commit 49a73c9 pushed by meta-codesync bot
38m 9s main
main
38m 9s
[semdiff][refactor] a few optimizations build #4736: Commit 031913d pushed by meta-codesync bot
39m 1s main
main
39m 1s
[swift] Add model for executing closures build #4735: Commit 78c6461 pushed by meta-codesync bot
40m 25s main
main
40m 25s
[llvm] move more fields from proc_state to module_state build #4734: Commit 48a6ec6 pushed by meta-codesync bot
38m 32s main
main
38m 32s
[llvm] make method_class_index local build #4733: Commit 61700e3 pushed by meta-codesync bot
38m 42s main
main
38m 42s
[swift] Fix bug where the first argument of calls of function pointer… build #4732: Commit 96b7c51 pushed by meta-codesync bot
42m 43s main
main
42m 43s
[swift] Fix crash about String type build #4731: Commit 8909c6b pushed by meta-codesync bot
39m 30s main
main
39m 30s