Skip to content

doc: ressurect#346

Merged
d-xo merged 1 commit into
mainfrom
restore-docs
Apr 2, 2026
Merged

doc: ressurect#346
d-xo merged 1 commit into
mainfrom
restore-docs

Conversation

@d-xo

@d-xo d-xo commented Apr 1, 2026

Copy link
Copy Markdown
Contributor

these were deleted in 855ce66 due to a incorrect merge of main onto the pattern match compiler branch in 8f2f3f0.

these were deleted in 855ce66 due to a incorrect merge of main onto the
pattern match compiler branch in 8f2f3f0.
@d-xo d-xo requested a review from rodrigogribeiro April 1, 2026 16:03
@d-xo d-xo merged commit 8a8ca37 into main Apr 2, 2026
4 checks passed
@d-xo d-xo deleted the restore-docs branch April 2, 2026 09:45
Y-Nak pushed a commit to Y-Nak/solcore that referenced this pull request Apr 14, 2026
@mbenke mbenke mentioned this pull request Jun 30, 2026
pull Bot pushed a commit to BoomchainLabs/solcore that referenced this pull request Jun 30, 2026
docs were deleted in 855ce66 due to a incorrect merge of main onto the
pattern match compiler branch in 8f2f3f0.
The docs themselves have been resurrected in b79e460 (argotorg#346), but the
workflow file was forgotten.
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.

1 participant