11 captures
03 Nov 2020 - 28 Aug 2025
Jan
FEB
Mar
05
2021
2022
2023
success
fail
About this capture
COLLECTED BY
Collection:
Save Page Now Outlinks
TIMESTAMPS
The Wayback Machine - https://web.archive.org/web/20220205185056/https://github.com/facebook/infer/actions
Skip to content
Sign up
Why GitHub?
Features
Mobile
Actions
Codespaces
Packages
Security
Code review
Issues
Integrations
GitHub Sponsors
Customer stories
Team
Enterprise
Explore
Explore GitHub
Learn and contribute
Topics
Collections
Trending
Learning Lab
Open source guides
Connect with others
The ReadME Project
Events
Community forum
GitHub Education
GitHub Stars program
Marketplace
Pricing
Plans
Compare plans
Contact Sales
Education
Sign in
Sign up
{{ message }}
facebook
/
infer
Public
Notifications
Fork
1.8k
Star
12.9k
Code
Issues
329
Pull requests
10
Actions
Projects
0
Wiki
Security
Insights
More
Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights
Workflows
Select workflow
Select workflow
All workflows
build
pages-build-deployment
website
All workflows
build
pages-build-deployment
website
All workflows
Showing runs from all workflows
1,549 workflow runs
1,549 workflow runs
Event
Filter by event
Status
Filter by status
Branch
Filter by branch
Actor
Filter by actor
[cost][objc] Pass captured variables on calls during analysis
build
#1483:
Commit
2e3b33f
pushed by
facebook-github-bot
Feb 4, 2022
35m 55s
main
main
Feb 4, 2022
35m 55s
View workflow file
[erl-frontend] Assume correct return type for maps:merge
build
#1482:
Commit
2ef47d2
pushed by
facebook-github-bot
Feb 4, 2022
34m 32s
main
main
Feb 4, 2022
34m 32s
View workflow file
[topl] Small fixes
build
#1481:
Commit
04b076c
pushed by
facebook-github-bot
Feb 4, 2022
39m 22s
main
main
Feb 4, 2022
39m 22s
View workflow file
[Preview] upgrade to ocamlformat.0.21.0
build
#1480:
Pull request
#1546
synchronize by
gpetiot
Feb 3, 2022
Action required
gpetiot:preview-ocamlformat-0.20.0
gpetiot:preview-ocamlformat-0.20.0
Feb 3, 2022
Action required
View #1546
View workflow file
[pulse] Limit size of cfg to analyze
build
#1479:
Commit
a9416fa
pushed by
facebook-github-bot
Feb 3, 2022
40m 53s
main
main
Feb 3, 2022
40m 53s
View workflow file
[infer] Move the BackendStats module from `backend/` to `base/Stats`
build
#1478:
Commit
ab22765
pushed by
facebook-github-bot
Feb 3, 2022
40m 35s
main
main
Feb 3, 2022
40m 35s
View workflow file
[pulse][retain-cycle] Detect cycles involving blocks
build
#1477:
Commit
59cb74f
pushed by
facebook-github-bot
Feb 3, 2022
39m 39s
main
main
Feb 3, 2022
39m 39s
View workflow file
Catching the thrown exception object within Pulse + nested resources
build
#1476:
Commit
ec1caed
pushed by
facebook-github-bot
Feb 3, 2022
41m 48s
main
main
Feb 3, 2022
41m 48s
View workflow file
[pulse] Use formal's type when deciding deref or not
build
#1475:
Commit
5055b69
pushed by
facebook-github-bot
Feb 2, 2022
41m 13s
main
main
Feb 2, 2022
41m 13s
View workflow file
pages build and deployment
pages-build-deployment
#6:
by
github-pages
bot
Feb 2, 2022
1m 18s
Feb 2, 2022
1m 18s
[biabduction] Remove error type Parameter_Not_Null_Checked
build
#1474:
Commit
8bc5172
pushed by
facebook-github-bot
Feb 2, 2022
43m 57s
main
main
Feb 2, 2022
43m 57s
View workflow file
[biabduction] Remove error type Parameter_Not_Null_Checked
website
#98:
Commit
8bc5172
pushed by
facebook-github-bot
Feb 2, 2022
2m 55s
main
main
Feb 2, 2022
2m 55s
View workflow file
Incremental build support for json-based frontend
build
#1473:
Pull request
#1597
opened by
xi-liu-ds
Feb 1, 2022
25m 22s
xi-liu-ds:xi-liu-ds/incre_build
xi-liu-ds:xi-liu-ds/incre_build
Feb 1, 2022
25m 22s
View #1597
View workflow file
[ocamlformat] Add opam pin odoc-parser 0.9.0
build
#1472:
Commit
965a4c9
pushed by
facebook-github-bot
Feb 1, 2022
37m 27s
main
main
Feb 1, 2022
37m 27s
View workflow file
pages build and deployment
pages-build-deployment
#5:
by
github-pages
bot
Feb 1, 2022
1m 17s
Feb 1, 2022
1m 17s
[website] Update website
website
#97:
Commit
f78e71d
pushed by
facebook-github-bot
Feb 1, 2022
2m 6s
main
main
Feb 1, 2022
2m 6s
View workflow file
[website] Update website
build
#1471:
Commit
f78e71d
pushed by
facebook-github-bot
Feb 1, 2022
39m 21s
main
main
Feb 1, 2022
39m 21s
View workflow file
[erl-frontend] Assume correct return value for lists:foreach
build
#1470:
Commit
90c87ec
pushed by
facebook-github-bot
Feb 1, 2022
37m 39s
main
main
Feb 1, 2022
37m 39s
View workflow file
[inferbo] Keep array length as non-negative
build
#1469:
Commit
b3f4b9d
pushed by
facebook-github-bot
Feb 1, 2022
39m 56s
main
main
Feb 1, 2022
39m 56s
View workflow file
[annot] remove visibility value
build
#1468:
Commit
abf5649
pushed by
facebook-github-bot
Jan 31, 2022
39m 48s
main
main
Jan 31, 2022
39m 48s
View workflow file
[infer] Log the count of summaries into Scuba
build
#1467:
Commit
9145c99
pushed by
facebook-github-bot
Jan 28, 2022
36m 59s
main
main
Jan 28, 2022
36m 59s
View workflow file
[java][merge] safer normalizer resetting
build
#1466:
Commit
f473984
pushed by
facebook-github-bot
Jan 27, 2022
38m 51s
main
main
Jan 27, 2022
38m 51s
View workflow file
[pulse][erlang] Configurable custom Erlang models.
build
#1465:
Commit
c0f0211
pushed by
facebook-github-bot
Jan 27, 2022
36m 4s
main
main
Jan 27, 2022
36m 4s
View workflow file
[biabduction] skip loading models if biabduction disabled
build
#1464:
Commit
72332f7
pushed by
facebook-github-bot
Jan 27, 2022
2h 52m 1s
main
main
Jan 27, 2022
2h 52m 1s
View workflow file
[frontend] Subtract a type from the list of its super classes
build
#1463:
Commit
4b2e97f
pushed by
facebook-github-bot
Jan 27, 2022
2h 40m 28s
main
main
Jan 27, 2022
2h 40m 28s
View workflow file
Previous
1
2
3
4
5
…
61
62
Next
You can’t perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.