Skip to content

Bump docs-resources from 3dd7194 to b387152#44

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

Bump docs-resources from 3dd7194 to b387152#44
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/submodules/docs-resources-b387152

Conversation

@dependabot
Copy link

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

Bumps docs-resources from 3dd7194 to b387152.

Commits
  • b387152 Merge pull request #224 from riscv/copilot/sub-pr-223
  • b2677e8 Merge pull request #225 from riscv/copilot/sub-pr-223-again
  • 1b51326 Merge branch 'main' into copilot/sub-pr-223-again
  • 4127b80 Merge pull request #226 from riscv/copilot/sub-pr-223-another-one
  • 4c42de9 Reject booleans for array bounds lo/hi in infer_param_type_string
  • 13cb0b9 Fix bool-as-int in range and array bounds validation
  • 56ff3b8 Fix bool exclusion and empty list handling in infer_param_type_string
  • ee0bcbb Merge pull request #223 from riscv/html_type_fmt
  • 820f28f Initial plan
  • 3f4d225 Initial plan
  • 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 `3dd7194` to `b387152`.
- [Commits](riscv/docs-resources@3dd7194...b387152)

---
updated-dependencies:
- dependency-name: docs-resources
  dependency-version: b387152b18be733930635381147b04982952f2e3
  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 Mar 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