Skip to content

Comments

Bump docs-resources from 08bdece to 9069637#94

Open
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/submodules/docs-resources-9069637
Open

Bump docs-resources from 08bdece to 9069637#94
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/submodules/docs-resources-9069637

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Feb 20, 2026

Bumps docs-resources from 08bdece to 9069637.

Commits
  • 9069637 Merge pull request #196 from riscv/195-convert-norm-rule-ruby-scripts-to-python
  • 4e77635 Moved Ruby scripts to tools/archive and updated AI generated doc for detect_t...
  • c953da3 Converted detect_tag_changes.rb to detect_tag_changes.py. Identical test outp...
  • 0477b55 Created Python version of create_normative_rules.py. Also added pycache t...
  • 1666258 Merge pull request #193 from riscv/192-warl-wlrl-are-impldef
  • 2202526 More copilot fixes
  • 60c8cd1 More tweaking
  • 594d9f6 Fix corner-cases found by Copilot and improve format a bit
  • 28c89f1 Changed norm rule schema to use impl-def-category instead of field-type to ge...
  • 203db26 Merge pull request #191 from riscv/190-reduce-spacing-in-norm-rules-html-sidebar
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [docs-resources](https://github.com/riscv/docs-resources) from `08bdece` to `9069637`.
- [Commits](riscv/docs-resources@08bdece...9069637)

---
updated-dependencies:
- dependency-name: docs-resources
  dependency-version: 906963708e2d480baa2a09883d02b39fa8b711b1
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file submodules Pull requests that update submodules code labels Feb 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file submodules Pull requests that update submodules code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants