Skip to content

no op for publish#14

Merged
chandrakananandi merged 7 commits intoCertora:mainfrom
chandrakananandi:publish-noop
Mar 26, 2026
Merged

no op for publish#14
chandrakananandi merged 7 commits intoCertora:mainfrom
chandrakananandi:publish-noop

Conversation

@chandrakananandi
Copy link
Copy Markdown
Collaborator

@chandrakananandi chandrakananandi commented Mar 26, 2026

Make a stub for publish by changing our implementation of the contractevent macro. Credits to codex for helping.

Add some documentation.

@chandrakananandi chandrakananandi requested a review from 1arie1 March 26, 2026 18:12
@chandrakananandi chandrakananandi merged commit f05a791 into Certora:main Mar 26, 2026
1 check passed
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