Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Sep 9, 2025

Bumps docs-resources from d7974ea to 1fb9a74.

Commits
  • 1fb9a74 Merge pull request #68 from riscv/67-rename-creation-to-definition-and-add-is...
  • 6bb4a5a Name change
  • a266a59 Moved common descriptions into common-schema.json
  • 4a58fc6 Add JSON schema files for normative rule creation tool (input and output file...
  • 93d0192 Rename type to kind.
  • a8c9166 Made changes to norm rule creation script to use definitions instead of creat...
  • 9f5f21c Renamed curation to creation
  • 762ae2e Support for tags_without_text added.
  • 338b1e3 Found another error message I improved.
  • a75bec6 Improve norm rule doc and associated Ruby script as required
  • See full diff 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 merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @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 `d7974ea` to `1fb9a74`.
- [Commits](riscv/docs-resources@d7974ea...1fb9a74)

---
updated-dependencies:
- dependency-name: docs-resources
  dependency-version: 1fb9a748079d93a8aa7d0e9e2f4fdbb1c0e38071
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file submodules Pull requests that update submodules code labels Sep 9, 2025
Copy link
Collaborator

@cmuellner cmuellner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@cmuellner cmuellner merged commit 3dee90f into main Sep 9, 2025
2 checks passed
@dependabot dependabot bot deleted the dependabot/submodules/docs-resources-1fb9a74 branch September 9, 2025 09:09
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.

1 participant