Skip to content

Actions: facebook/pyre-check

pyre2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
286 workflow runs
286 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

January 15, 2025 21:00 6m 48s
January 15, 2025 20:45 5m 33s
January 15, 2025 19:59 6m 31s
Support both flask 2 and flask 3 DSL generator (#960)
pyre2 #206: Commit 94cf287 pushed by facebook-github-bot
January 15, 2025 18:38 5m 48s main
January 15, 2025 18:38 5m 48s
Make bind_definition return Idx<Key>
pyre2 #205: Commit 31b1001 pushed by facebook-github-bot
January 15, 2025 16:09 8m 10s main
January 15, 2025 16:09 8m 10s
Support both flask 2 and flask 3 DSL generator
pyre2 #204: Pull request #960 opened by r0rshark
January 15, 2025 15:13 6m 37s r0rshark:export-D68209629
January 15, 2025 15:13 6m 37s
January 15, 2025 01:51 6m 4s
improve refinement for match
pyre2 #202: Commit 28a3c35 pushed by facebook-github-bot
January 14, 2025 23:44 6m 9s main
January 14, 2025 23:44 6m 9s
Support isinstance(..., <alias>)
pyre2 #201: Commit 2ee42a9 pushed by facebook-github-bot
January 14, 2025 23:14 5m 40s main
January 14, 2025 23:14 5m 40s
Check for type errors in if and while test expressions
pyre2 #200: Commit 1a8fe2d pushed by facebook-github-bot
January 14, 2025 21:06 5m 2s main
January 14, 2025 21:06 5m 2s
add stdlib entry for NamedTuple
pyre2 #199: Commit a101e92 pushed by facebook-github-bot
January 14, 2025 19:05 6m 33s main
January 14, 2025 19:05 6m 33s
Add test case demonstrating an issue
pyre2 #198: Commit 0a9aef3 pushed by facebook-github-bot
January 14, 2025 16:33 6m 43s main
January 14, 2025 16:33 6m 43s
allow duplicate class keywords
pyre2 #197: Commit cc26d35 pushed by facebook-github-bot
January 14, 2025 15:45 5m 44s main
January 14, 2025 15:45 5m 44s
Bump Flask to 3.0.3
pyre2 #196: Commit cd42039 pushed by facebook-github-bot
January 14, 2025 15:35 6m 10s main
January 14, 2025 15:35 6m 10s
Add a test for operator errors
pyre2 #195: Commit 616e25c pushed by facebook-github-bot
January 14, 2025 15:09 5m 51s main
January 14, 2025 15:09 5m 51s
Rename mros to class_metadata
pyre2 #194: Commit de393fb pushed by facebook-github-bot
January 14, 2025 14:39 6m 54s main
January 14, 2025 14:39 6m 54s
Support type narrowing on isinstance(x, <tuple>)
pyre2 #193: Commit 525273a pushed by facebook-github-bot
January 14, 2025 08:07 5m 20s main
January 14, 2025 08:07 5m 20s
Fully split bind_target and ensure_expr
pyre2 #192: Commit 3c570a5 pushed by facebook-github-bot
January 14, 2025 04:51 6m 27s main
January 14, 2025 04:51 6m 27s
Narrow on isinstance calls
pyre2 #191: Commit a4302bd pushed by facebook-github-bot
January 14, 2025 00:26 5m 10s main
January 14, 2025 00:26 5m 10s
Store Quantified instead of Unique in Args/Kwargs
pyre2 #190: Commit 0e652f0 pushed by facebook-github-bot
January 13, 2025 21:27 6m 1s main
January 13, 2025 21:27 6m 1s
January 13, 2025 21:08 6m 6s
narrow in MatchClass
pyre2 #188: Commit c1b41ac pushed by facebook-github-bot
January 13, 2025 19:54 6m 21s main
January 13, 2025 19:54 6m 21s
Fix bug in intersect function used for type narrowing
pyre2 #187: Commit 0014b37 pushed by facebook-github-bot
January 13, 2025 19:24 6m 21s main
January 13, 2025 19:24 6m 21s