Skip to content

Actions: facebook/infer

Actions

website

Actions

Loading...

Show workflow options

Create status badge

deploy.yml
26 workflow runs
26 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[website] Clarify issue typeVECTOR_INVALIDATION example with pointe… website #152: Commit 731d945 pushed by facebook-github-bot
April 19, 2024 13:32 1m 17s main
main
April 19, 2024 13:32 1m 17s
[github] Upgrade actions/cache to v4 website #151: Commit f37d48f pushed by facebook-github-bot
April 18, 2024 22:32 1m 32s main
main
April 18, 2024 22:32 1m 32s
[docs] stop recommending homebrew as the infer recipe is unavailable website #150: Commit dbeebb2 pushed by facebook-github-bot
April 2, 2024 16:37 1m 13s main
main
April 2, 2024 16:37 1m 13s
[annot] Update manual with sanitizers website #149: Commit 99bf9d9 pushed by facebook-github-bot
April 2, 2024 12:56 1m 24s main
main
April 2, 2024 12:56 1m 24s
Bump express from 4.18.2 to 4.19.2 in /website (#1826) website #148: Commit 9a3b869 pushed by facebook-github-bot
April 2, 2024 12:32 1m 34s main
main
April 2, 2024 12:32 1m 34s
ci: Use GITHUB_OUTPUT envvar instead of set-output command (#1811) website #147: Commit 6f13c0c pushed by facebook-github-bot
April 2, 2024 12:18 1m 30s main
main
April 2, 2024 12:18 1m 30s
Bump follow-redirects from 1.15.5 to 1.15.6 in /website (#1818) website #146: Commit d21dd78 pushed by facebook-github-bot
March 24, 2024 17:31 1m 34s main
main
March 24, 2024 17:31 1m 34s
[annot] Update docs related to annotation reachability website #145: Commit 6471f1a pushed by facebook-github-bot
March 13, 2024 09:40 1m 20s main
main
March 13, 2024 09:40 1m 20s
[web] Update website website #144: Commit 005ab12 pushed by facebook-github-bot
March 6, 2024 18:07 1m 33s main
main
March 6, 2024 18:07 1m 33s
[website] use yarn "classic" and upgrade a few more things website #143: Commit f230539 pushed by facebook-github-bot
February 14, 2024 16:33 1m 33s main
main
February 14, 2024 16:33 1m 33s
[website] docusaurus upgrade website #142: Commit e625107 pushed by facebook-github-bot
February 14, 2024 14:41 29s main
main
February 14, 2024 14:41 29s
[website] make doc-publish website #141: Commit 81a3e4b pushed by facebook-github-bot
February 12, 2024 16:35 28s main
main
February 12, 2024 16:35 28s
[web] Fix font paths website #140: Commit 757c48d pushed by facebook-github-bot
January 29, 2024 14:59 27s main
main
January 29, 2024 14:59 27s
[website] update yarn.lock website #139: Commit 9e8afd4 pushed by facebook-github-bot
January 25, 2024 13:33 28s main
main
January 25, 2024 13:33 28s
Bump follow-redirects from 1.15.2 to 1.15.4 in /website (#1806) website #138: Commit 211410c pushed by facebook-github-bot
January 16, 2024 13:39 1m 48s main
main
January 16, 2024 13:39 1m 48s
[website] Update documentation website #137: Commit 889d4c8 pushed by facebook-github-bot
November 21, 2023 12:08 1m 27s main
main
November 21, 2023 12:08 1m 27s
[doc] Fix some odoc warnings website #136: Commit 8fbe726 pushed by facebook-github-bot
November 17, 2023 13:56 1m 52s main
main
November 17, 2023 13:56 1m 52s
Bump @babel/traverse from 7.22.5 to 7.23.2 in /website (#1798) website #135: Commit 89aa164 pushed by facebook-github-bot
October 19, 2023 10:49 2m 11s main
main
October 19, 2023 10:49 2m 11s
Bump postcss from 8.4.24 to 8.4.31 in /website (#1794) website #134: Commit 90ed92f pushed by facebook-github-bot
October 17, 2023 15:27 2m 16s main
main
October 17, 2023 15:27 2m 16s
Bump semver from 5.7.1 to 5.7.2 in /website (#1778) website #133: Commit 1bbb28f pushed by facebook-github-bot
September 27, 2023 11:02 28s main
main
September 27, 2023 11:02 28s
[taint] Update manuals to include annotation_values combo website #132: Commit 3f424e5 pushed by facebook-github-bot
August 21, 2023 16:27 22s main
main
August 21, 2023 16:27 22s
[website] fix AdaCore banner website #131: Commit d77d5b6 pushed by facebook-github-bot
June 29, 2023 14:26 2m 6s main
main
June 29, 2023 14:26 2m 6s
Add AdaCore to "Using Infer" list (#1769) website #130: Commit 3e8916d pushed by facebook-github-bot
June 29, 2023 11:26 43s main
main
June 29, 2023 11:26 43s
[website] Update website website #129: Commit b0ad650 pushed by facebook-github-bot
June 16, 2023 09:27 33s main
main
June 16, 2023 09:27 33s
[website] Update recommended CI flow w/ --incremental-analysis website #128: Commit 86e1b2c pushed by facebook-github-bot
June 15, 2023 17:26 1m 56s main
main
June 15, 2023 17:26 1m 56s