Skip to content

Actions: facebook/pyre-check

Actions

pyre

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyre.yml
1,716 workflow runs
1,716 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Decouple modelVerifier.ml and modelQueryExecution from Analysis pyre #5405: Commit 9930748 pushed by facebook-github-bot
October 4, 2024 15:24 51s main
main
October 4, 2024 15:24 51s
Fix ParamSpec bug in attributeResolution by considering the local sco… pyre #5404: Commit 1501f1c pushed by facebook-github-bot
October 4, 2024 02:34 54s main
main
October 4, 2024 02:34 54s
Add logging before running subprocess commands pyre #5403: Commit ed7d7a1 pushed by facebook-github-bot
October 3, 2024 18:36 55s main
main
October 3, 2024 18:36 55s
Add a test with nonlinearizable MRO to CHE pyre #5402: Commit 92c7010 pushed by facebook-github-bot
October 3, 2024 14:41 58s main
main
October 3, 2024 14:41 58s
Fix error messages for updates of ReadOnly fields pyre #5401: Commit f36e06d pushed by facebook-github-bot
October 2, 2024 18:12 1m 4s main
main
October 2, 2024 18:12 1m 4s
Add the wikipedia example to MRO tests pyre #5400: Commit 4ed5f36 pushed by facebook-github-bot
October 2, 2024 14:35 54s main
main
October 2, 2024 14:35 54s
Faster implementation of get_typed_dictionary pyre #5399: Commit 62be259 pushed by facebook-github-bot
October 2, 2024 10:44 51s main
main
October 2, 2024 10:44 51s
fix typechecking bug with enum member definitions pyre #5398: Commit c9b9ec1 pushed by facebook-github-bot
October 2, 2024 02:58 56s main
main
October 2, 2024 02:58 56s
Catch ReadOnly violations in dict.update() pyre #5397: Commit 36ea1c3 pushed by facebook-github-bot
October 2, 2024 01:01 56s main
main
October 2, 2024 01:01 56s
Improve remaining CHE tests pyre #5396: Commit bdef7dd pushed by facebook-github-bot
October 1, 2024 15:33 50s main
main
October 1, 2024 15:33 50s
Add a cycle_detection parameter to the variance_map pyre #5395: Commit 1929040 pushed by facebook-github-bot
October 1, 2024 02:17 56s main
main
October 1, 2024 02:17 56s
Simplify the C3 linearization a bit pyre #5394: Commit 58c792c pushed by facebook-github-bot
October 1, 2024 00:45 1m 7s main
main
October 1, 2024 00:45 1m 7s
Expose queries to the variance map pyre #5393: Commit 76c8490 pushed by facebook-github-bot
October 1, 2024 00:06 52s main
main
October 1, 2024 00:06 52s
allow get with unknown key on TypedDict pyre #5392: Commit b7c9434 pushed by facebook-github-bot
September 30, 2024 22:59 53s main
main
September 30, 2024 22:59 53s
Add user-declared breadcrumbs as local features of the first frame pyre #5391: Commit a744211 pushed by facebook-github-bot
September 30, 2024 18:04 53s main
main
September 30, 2024 18:04 53s
Decouple TestHelper from direct use of Analysis pyre #5390: Commit 5cd307f pushed by facebook-github-bot
September 30, 2024 14:56 56s main
main
September 30, 2024 14:56 56s
Bump the github-actions group with 3 updates pyre #5389: Pull request #927 opened by dependabot bot
September 30, 2024 03:50 52s dependabot/github_actions/github-actions-44a8087757
dependabot/github_actions/github-actions-44a8087757
September 30, 2024 03:50 52s
Fix how client id is set inside client metadata pyre #5388: Commit 004175a pushed by facebook-github-bot
September 30, 2024 01:58 57s main
main
September 30, 2024 01:58 57s
Decouple modelTest from SourceCodeApi pyre #5387: Commit 48bfb0a pushed by facebook-github-bot
September 28, 2024 15:52 1m 10s main
main
September 28, 2024 15:52 1m 10s
Remove SharedMemoryKeys.ParseAnnotationKey altogether pyre #5386: Commit 818b2d7 pushed by facebook-github-bot
September 28, 2024 00:53 55s main
main
September 28, 2024 00:53 55s
[test] Import changes to port sharedmem tables into OCaml 5.2 domain-based parallelism pyre #5385: Pull request #926 opened by grievejia
September 28, 2024 00:00 54s ocaml-5-2
ocaml-5-2
September 28, 2024 00:00 54s
Cleanup: move tests of resolve_qualified_name_to_global pyre #5384: Commit 7887e31 pushed by facebook-github-bot
September 27, 2024 16:14 56s main
main
September 27, 2024 16:14 56s
Add support for pyre_extensions.PyreReadOnly being the primary name pyre #5383: Commit 8e61bb9 pushed by facebook-github-bot
September 27, 2024 05:16 55s main
main
September 27, 2024 05:16 55s
Add a unit test for an edge case in paramSpec pyre #5382: Commit 89f1a4d pushed by facebook-github-bot
September 27, 2024 04:34 57s main
main
September 27, 2024 04:34 57s
Finish plubing for variance inference pyre #5381: Commit 1ed8557 pushed by facebook-github-bot
September 27, 2024 04:13 50s main
main
September 27, 2024 04:13 50s