Skip to content

chore: removing old docs#3778

Merged
signorecello merged 1 commit intomasterfrom
zpedro/docs_old_versions
Dec 12, 2023
Merged

chore: removing old docs#3778
signorecello merged 1 commit intomasterfrom
zpedro/docs_old_versions

Conversation

@signorecello
Copy link
Copy Markdown
Contributor

Description

Removes old versions from the docs

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Dec 12, 2023
@github-actions
Copy link
Copy Markdown
Contributor

@signorecello signorecello added this pull request to the merge queue Dec 12, 2023
Merged via the queue into master with commit 059ce4c Dec 12, 2023
@signorecello signorecello deleted the zpedro/docs_old_versions branch December 12, 2023 15:02
TomAFrench added a commit that referenced this pull request Dec 14, 2023
* master: (25 commits)
  chore!: Make file manager read-only to the compiler (#3760)
  feat: Add some traits to the stdlib (#3796)
  fix: Stop issuing unused variable warnings for variables in trait definitions (#3797)
  fix(lsp): package resolution on save (#3794)
  chore: clippy fix (#3793)
  feat: Remove experimental feature warning for traits (#3783)
  fix: Allow trait method references from the trait name (#3774)
  chore: adds a new option only-acir (#3683)
  feat(lsp): add goto definition for structs (#3718)
  chore: disable code lens feature of lsp (#3789)
  chore: moving ordering to category jsons and frontmatters (#3777)
  chore(ci): use `actions/setup-node` for caching yarn dependencies (#2730)
  fix: remove `noirc_driver/aztec` feature flag in docker (#3784)
  chore: remove aztec compile time feature flag (#3596)
  chore: move debugger tests in submodule (#3780)
  feat: simplify explicit equality assertions to assert equality directly (#3708)
  fix(ssa): Handle array arguments to side effectual constrain statements (#3740)
  feat: add `prelude.nr` (#3693)
  chore: removing old docs (#3778)
  feat: avoid overflow checks on boolean multiplication (#3745)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants