Skip to content

Actions: facebook/pyre-check

Actions

pysa

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pysa.yml
1,810 workflow runs
1,810 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename Binding::Class to Binding::ClassDef pysa #4723: Commit 7de8384 pushed by facebook-github-bot
November 28, 2024 17:23 12m 21s main
main
November 28, 2024 17:23 12m 21s
Make instantiate_member a method on ClassType pysa #4722: Commit 6c1d20d pushed by facebook-github-bot
November 28, 2024 16:37 12m 17s main
main
November 28, 2024 16:37 12m 17s
Allow access to solutions from LookupAnswers pysa #4721: Commit 3bb0d8e pushed by facebook-github-bot
November 28, 2024 10:36 12m 27s main
main
November 28, 2024 10:36 12m 27s
Ensure pseudo method calls evaluate arguments (3/3) pysa #4720: Commit f954ff9 pushed by facebook-github-bot
November 28, 2024 09:14 13m 0s main
main
November 28, 2024 09:14 13m 0s
Add a doc comment on AugAssign pysa #4719: Commit 9a28f5a pushed by facebook-github-bot
November 28, 2024 08:55 12m 25s main
main
November 28, 2024 08:55 12m 25s
Abstract out memory tracking pysa #4718: Commit 1fab964 pushed by facebook-github-bot
November 28, 2024 08:47 12m 20s main
main
November 28, 2024 08:47 12m 20s
Enforce the targs vs tparams invariant on ClassType creation :) pysa #4717: Commit e4a2e58 pushed by facebook-github-bot
November 27, 2024 23:10 12m 7s main
main
November 27, 2024 23:10 12m 7s
Write into a separate DefineCallGraph than the input `DefineCallGra… pysa #4716: Commit fddf6f4 pushed by facebook-github-bot
November 27, 2024 22:19 12m 28s main
main
November 27, 2024 22:19 12m 28s
Optimise module transitions pysa #4715: Commit 4ee253e pushed by facebook-github-bot
November 27, 2024 18:29 12m 46s main
main
November 27, 2024 18:29 12m 46s
Stop zeroing Quantifieds in deterministic_printing() pysa #4714: Commit 2b52b9b pushed by facebook-github-bot
November 27, 2024 10:47 12m 47s main
main
November 27, 2024 10:47 12m 47s
As we change module, change recurser pysa #4713: Commit c6dd664 pushed by facebook-github-bot
November 27, 2024 09:56 12m 40s main
main
November 27, 2024 09:56 12m 40s
Move class def handling to classes.rs pysa #4712: Commit 9fe4f8a pushed by facebook-github-bot
November 27, 2024 08:47 12m 36s main
main
November 27, 2024 08:47 12m 36s
Don't recreate the module names repeatedly pysa #4711: Commit 87d21b2 pushed by facebook-github-bot
November 27, 2024 08:40 13m 22s main
main
November 27, 2024 08:40 13m 22s
Name the fields of the Quantified struct pysa #4710: Commit d0769ce pushed by facebook-github-bot
November 27, 2024 08:30 13m 4s main
main
November 27, 2024 08:30 13m 4s
BaseClass wraps Expr: fixes invariant violation pysa #4709: Commit f3402bf pushed by facebook-github-bot
November 26, 2024 23:14 12m 21s main
main
November 26, 2024 23:14 12m 21s
Allow forward references in TypeVar defaults pysa #4708: Commit 5119770 pushed by facebook-github-bot
November 26, 2024 22:26 12m 30s main
main
November 26, 2024 22:26 12m 30s
more special casing for subset types pysa #4707: Commit 0b9230f pushed by facebook-github-bot
November 26, 2024 22:02 12m 45s main
main
November 26, 2024 22:02 12m 45s
Make error messages about invalid stdlib pop up in the right place pysa #4706: Commit 07fa743 pushed by facebook-github-bot
November 26, 2024 18:34 12m 34s main
main
November 26, 2024 18:34 12m 34s
Use distribute_over_union helper for call exprs pysa #4705: Commit 6d55815 pushed by facebook-github-bot
November 26, 2024 16:16 12m 23s main
main
November 26, 2024 16:16 12m 23s
Group the Binding.* impls consistently pysa #4704: Commit 51823f9 pushed by facebook-github-bot
November 26, 2024 10:26 12m 32s main
main
November 26, 2024 10:26 12m 32s
Make types::stdlib always return ClassTypes pysa #4703: Commit 986a3e9 pushed by facebook-github-bot
November 25, 2024 23:38 12m 22s main
main
November 25, 2024 23:38 12m 22s
remove operators from known errors pysa #4702: Commit c0f5bf0 pushed by facebook-github-bot
November 25, 2024 20:36 12m 34s main
main
November 25, 2024 20:36 12m 34s
Use consistent ordering for Display on key types pysa #4701: Commit 6cedb03 pushed by facebook-github-bot
November 25, 2024 20:20 12m 29s main
main
November 25, 2024 20:20 12m 29s
Allow invariant violations on ClassType pysa #4700: Commit 0269f6f pushed by facebook-github-bot
November 25, 2024 19:58 12m 24s main
main
November 25, 2024 19:58 12m 24s
Make LookupExport be a function pysa #4699: Commit ab97168 pushed by facebook-github-bot
November 25, 2024 19:09 12m 37s main
main
November 25, 2024 19:09 12m 37s