-
Notifications
You must be signed in to change notification settings - Fork 91
Pull requests: microsoft/coyote
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Pin GitHub Actions to full-length commit SHAs
#522
opened Aug 23, 2026 by
Dan Fiedler (danfiedler-msft)
Loading…
Add Dependabot configuration for .NET SDK updates
#520
opened Jun 23, 2025 by
Jamie Magee (JamieMagee)
Member
Loading…
Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#511
opened Sep 3, 2024 by
dependabot
Bot
Loading…
Reset SynchronizedBlock cache after each iteration
#510
opened Jul 30, 2024 by
kzdev (kzdev-net)
Loading…
fixes in actor queue
area-actors
Issues related to the actor library
#250
opened Nov 10, 2021 by
Pantazis Deligiannis (pdeligia)
Member
•
Draft
add some handy warnings about non-static coyote test methods.
area-cli
Issues related to the command line tool
#239
opened Oct 15, 2021 by
Chris Lovett (lovettchris)
Loading…
Add support for TestInitMethod and TestCleanupMethod
area-binary-rewriting
Issues related to binary rewriting
#164
opened Apr 29, 2021 by
Udit Kumar Agarwal (uditagarwal97)
Contributor
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.