Skip to content
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

chore(docs): design upgrade #482

Merged
merged 1 commit into from
Aug 10, 2023
Merged

chore(docs): design upgrade #482

merged 1 commit into from
Aug 10, 2023

Conversation

aquint-zama
Copy link
Contributor

closes: please link all relevant issues

PR content/description

Check-list:

  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • Relevant issues are marked as resolved/closed, related issues are linked in the description
  • Check for breaking changes (including serialization changes) and add them to commit message following the conventional commit specification

@cla-bot cla-bot bot added the cla-signed label Aug 9, 2023
@github-actions
Copy link

github-actions bot commented Aug 9, 2023

@slab-ci cpu_fast_test

@github-actions
Copy link

@slab-ci cpu_fast_test

@github-actions
Copy link

Pull Request has been approved 🎉
Launching full test suite...
@slab-ci cpu_test
@slab-ci cpu_integer_test
@slab-ci cpu_multi_bit_test
@slab-ci cpu_wasm_test

@tmontaigu tmontaigu merged commit 12220b2 into main Aug 10, 2023
18 checks passed
@tmontaigu tmontaigu deleted the chore/docs-improve branch August 10, 2023 16:46
@aquint-zama aquint-zama restored the chore/docs-improve branch August 10, 2023 17:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants