Skip to content

Actions: facebook/infer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
991 workflow runs
991 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[semdiff][PEG] add bisimulation for cyclic PEG equivalence build #4998: Commit 524e3af pushed by meta-codesync bot
6h 0m 32s main
main
6h 0m 32s
Push on main CodeQL #114: by meta-codesync bot
5m 42s main
main
5m 42s
[swift] Implement Dynamic Dispatch for Objective-C Message Sends in P… build #4997: Commit 7c57baf pushed by meta-codesync bot
6h 0m 29s main
main
6h 0m 29s
Push on main CodeQL #113: by meta-codesync bot
5m 56s main
main
5m 56s
gh ci: update clang cache earlier build #4996: Commit 63c192b pushed by meta-codesync bot
6h 5m 13s main
main
6h 5m 13s
Push on main CodeQL #112: by meta-codesync bot
5m 54s main
main
5m 54s
ci: save clang cache earlier build #4995: Pull request #2038 synchronize by martintrojer
34m 50s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
34m 50s
ci: save clang cache earlier devsetup #46: Pull request #2038 synchronize by martintrojer
38m 2s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
38m 2s
ci: save clang cache earlier devsetup #45: Pull request #2038 synchronize by martintrojer
25m 22s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
25m 22s
ci: save clang cache earlier build #4994: Pull request #2038 synchronize by martintrojer
34m 43s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
34m 43s
[swift] Fix redundant dereferencing of Swift object pointers in condi… build #4993: Commit 565a33c pushed by meta-codesync bot
6h 5m 12s main
main
6h 5m 12s
Push on main CodeQL #111: by meta-codesync bot
5m 37s main
main
5m 37s
ci: save clang cache earlier devsetup #44: Pull request #2038 synchronize by martintrojer
28m 25s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
28m 25s
ci: save clang cache earlier build #4992: Pull request #2038 synchronize by martintrojer
36m 5s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
36m 5s
ci: save clang cache earlier build #4991: Pull request #2038 opened by martintrojer
6h 5m 7s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
6h 5m 7s
ci: save clang cache earlier devsetup #43: Pull request #2038 opened by martintrojer
31m 52s martintrojer:mtrojer/ci-save-clang-cache-earlier
martintrojer:mtrojer/ci-save-clang-cache-earlier
31m 52s
[semdiff][PEG] number theta operators following Tate et al. build #4990: Commit 13f45a9 pushed by meta-codesync bot
6h 0m 38s main
main
6h 0m 38s
Push on main CodeQL #110: by meta-codesync bot
5m 32s main
main
5m 32s
use fork+exec instead of fork on macOS to prevent crash in child proc… build #4989: Commit 1e056a4 pushed by meta-codesync bot
6h 0m 31s main
main
6h 0m 31s
Push on main CodeQL #109: by meta-codesync bot
5m 48s main
main
5m 48s
Add --local-opam-switch option for sandboxed builds build #4988: Commit 42fba7e pushed by meta-codesync bot
1h 37m 18s main
main
1h 37m 18s
Push on main CodeQL #108: by meta-codesync bot
5m 47s main
main
5m 47s
pages build and deployment pages-build-deployment #74: by github-pages bot
51s gh-pages
gh-pages
51s
Push on gh-pages CodeQL #107: by github-actions bot
49s gh-pages
gh-pages
49s
[treesitter] Add tree-sitter frontend documentation build #4987: Commit 7be8fb5 pushed by meta-codesync bot
1h 22m 29s main
main
1h 22m 29s