Skip to content
This repository has been archived by the owner on Oct 17, 2023. It is now read-only.

Document Noir PR 2178 #309

Closed
github-actions bot opened this issue Aug 4, 2023 · 0 comments · Fixed by #346
Closed

Document Noir PR 2178 #309

github-actions bot opened this issue Aug 4, 2023 · 0 comments · Fixed by #346
Assignees
@critesjosh
Labels
0.10.0 Part of Noir's v0.10.0 release migrated

Comments

@github-actions
Copy link

github-actions bot commented Aug 4, 2023 •
edited by Savio-Sou
Loading

Document PR #2178 on the Noir repository, which removed the comptime keyword.
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Aug 4, 2023
@Savio-Sou Savio-Sou added the 0.10.0 Part of Noir's v0.10.0 release label Aug 15, 2023
@critesjosh critesjosh mentioned this issue Aug 22, 2023
Closed
@critesjosh critesjosh self-assigned this Aug 22, 2023
@critesjosh critesjosh mentioned this issue Aug 22, 2023
Merged
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Aug 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@critesjosh critesjosh

Labels
0.10.0 Part of Noir's v0.10.0 release migrated
Projects
Noir
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

remove comptime noir-lang/docs
Jc/remove comptime noir-lang/docs
2 participants
@critesjosh @Savio-Sou