Skip to content

Restore System.DateTime #171

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 9, 2025
Merged

Restore System.DateTime #171

merged 1 commit into from
Jun 9, 2025

Conversation

Saancreed
Copy link
Member

No description provided.

Base automatically changed from analyzer-issues to main May 30, 2025 12:36
@Saancreed Saancreed force-pushed the restore-date-time branch from c7e3247 to 0bb474d Compare May 30, 2025 15:15
Copy link

github-actions bot commented May 30, 2025

Test Results

  2 files  ±0    2 suites  ±0   44s ⏱️ ±0s
 83 tests +1   83 ✅ +1  0 💤 ±0  0 ❌ ±0 
180 runs  +2  180 ✅ +2  0 💤 ±0  0 ❌ ±0 

Results for commit 48c773c. ± Comparison against base commit 8d17b9b.

♻️ This comment has been updated with latest results.

@Saancreed Saancreed force-pushed the restore-date-time branch from 0bb474d to 59b688d Compare June 2, 2025 14:02
@@ -1,25 +1,38 @@
namespace LeanCode.ContractsGenerator.Analyzers;

public class InvalidTypeCheck : BaseAnalyzer
public abstract class InvalidInternalTypeCheck(string name, string message) : BaseAnalyzer
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fwiw this type is now unused, so if anyone feels that We Aren't Going to Need It, feel free to tell me to remove it.

@Saancreed Saancreed marked this pull request as ready for review June 2, 2025 14:05
And update outdated links to Microsoft Learn.
@Saancreed Saancreed force-pushed the restore-date-time branch from 59b688d to 48c773c Compare June 3, 2025 12:06
@Saancreed Saancreed merged commit 15e2eda into main Jun 9, 2025
4 checks passed
@Saancreed Saancreed deleted the restore-date-time branch June 9, 2025 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants