10 Commits (64406137e9dd128bed78ce40568234edf9cadd1e)

Author	SHA1	Message	Date
Jules Villard	620f6f53ea	[website] delete dead pages ... Summary: These pages are not referenced from anywhere and are stale, oops! We even linked to checker-bug-types from our footer on all pages... These pages are stale and replaced with auto-generated ones now. Reviewed By: skcho Differential Revision: D26544298 fbshipit-source-id: c3b7742b8	4 years ago
Sora Morimoto	c5a0593be3	Update website stuff (#1311) ... Summary: Pull Request resolved: https://github.com/facebook/infer/pull/1311 Reviewed By: ngorogiannis Differential Revision: D25639191 Pulled By: jvillard fbshipit-source-id: cb5ad4a9e	4 years ago
Jules Villard	73ed74a67c	[website] add legal stuff ... Summary: 'tis the law. Reviewed By: ezgicicek Differential Revision: D23572572 fbshipit-source-id: 872e12d32	4 years ago
Artem Pianykh	f22d7e2fd0	[docs] Enable Java syntax highlighting on website ... Summary: Java is not enabled by default in Prism (docusaurus's syntax highlighter). Let's fix that. Reviewed By: jvillard Differential Revision: D22019432 fbshipit-source-id: cc624fd08	5 years ago
Jules Villard	26c8b58054	[www] minor fixes ... Summary: - Specify a "position" for the docs/support/blog entries in the top bar. They had disappeared! This puts them back for some reason. - Add "Facebook" to the "Social" list in the footer (it's a social network, right?) - remove executable permission on some text files (hmmmm) - rename .md.md file to just .md (this also fixes a dead link) - update yarn.lock (happened automatically when I tested the website locally) Reviewed By: ezgicicek Differential Revision: D21504931 fbshipit-source-id: 5f89935e2	5 years ago
BSKY	d080b7806c	[infer][PR] Add some minor changes to the website ... Summary: | Before | After | | :----------------------------------------------------------------------------------------------------------------------------------------: | :----------------------------------------------------------------------------------------------------------------------------------------: | |  |  | Pull Request resolved: https://github.com/facebook/infer/pull/1245 Reviewed By: dulmarod Differential Revision: D20766774 Pulled By: jvillard fbshipit-source-id: d7ab17998	5 years ago
Yangshun Tay	7b4b76ccf9	[infer][PR] [website] change Algolia search id ... Summary: Apologies! I tweaked the value but it was already imported into Phabricator and https://github.com/facebook/infer/issues/1231 was merged without the change. Pull Request resolved: https://github.com/facebook/infer/pull/1232 Differential Revision: D20281501 Pulled By: jvillard fbshipit-source-id: 1e657f2fa	5 years ago
Yangshun Tay	3d74e66b48	[infer][PR] [website] add Algolia search ... Summary: Add Algolia Search. Fixes https://github.com/facebook/infer/issues/1228. Pull Request resolved: https://github.com/facebook/infer/pull/1231 Test Plan: Search bar and results appear. <img width="1552" alt="Screen Shot 2020-03-05 at 8 32 52 PM" src="https://user-images.githubusercontent.com/1315101/75981980-97e23d00-5f20-11ea-90ae-7b78d00cda11.png"> Differential Revision: D20281049 Pulled By: jvillard fbshipit-source-id: e253a1147	5 years ago
BSKY	1e142d2cee	[infer][PR] [website] Update docusaurus config ... Summary: Pull Request resolved: https://github.com/facebook/infer/pull/1230 Differential Revision: D20281043 Pulled By: jvillard fbshipit-source-id: 508e36e45	5 years ago
BSKY	14aee52eee	[infer][PR] Migrate Website to Docusaurus 2 ... Summary: Context: https://github.com/facebook/infer/issues/1171 Pull Request resolved: https://github.com/facebook/infer/pull/1190 Reviewed By: jberdine Differential Revision: D19330662 Pulled By: jvillard fbshipit-source-id: d5b3d920c	5 years ago