Skip to content

Remove PropertyRepro.sol pragma#1547

Merged
elopez merged 1 commit intomasterfrom
fix-PropertyRepro-pragma
Mar 27, 2026
Merged

Remove PropertyRepro.sol pragma#1547
elopez merged 1 commit intomasterfrom
fix-PropertyRepro-pragma

Conversation

@gustavo-grieco
Copy link
Copy Markdown
Collaborator

No description provided.

@gustavo-grieco gustavo-grieco added the ci-all-solc Test a PR with all solc versions label Mar 27, 2026
@elopez elopez merged commit 7cbb32f into master Mar 27, 2026
9 of 13 checks passed
@elopez elopez deleted the fix-PropertyRepro-pragma branch March 27, 2026 13:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-all-solc Test a PR with all solc versions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants