NON-OS/nonos-micro-kernel
Watch
2
0
Fork
You've already forked nonos-micro-kernel
 0
Code Issues Pull requests 22 Projects Releases 1 Packages Wiki Activity

build(deps): bump model-checking/kani-github-action from 2534b7aeb3c6b4b0a5ecc3981bb3e63d47b5b126 to 69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237 #149

Open
nonos-sync wants to merge 1 commit from nonos-sync/gh-595 into main AGit
pull from: nonos-sync/gh-595
merge into: NON-OS:main
Conversation 0 Commits 1 Files changed 1 +1 -1
nonos-sync commented 2026-10-03 07:27:51 -04:00
Member
Copy link

Bumps model-checking/kani-github-action from 2534b7aeb3c6b4b0a5ecc3981bb3e63d47b5b126 to 69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237.

Commits

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)

Opened on GitHub by dependabot[bot] as pull request 595. Review and merge happen there while this repository is kept in step from GitHub; this copy follows it, and is marked merged or closed when it is.

Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 2534b7aeb3c6b4b0a5ecc3981bb3e63d47b5b126 to 69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237. <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/model-checking/kani-github-action/commit/69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237"><code>69d357b</code></a> Fix Kani version parsing in install script (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/58">[#58](https://github.com/NON-OS/nonos-micro-kernel/issues/58)</a>)</li> <li>See full diff in <a href="https://github.com/model-checking/kani-github-action/compare/2534b7aeb3c6b4b0a5ecc3981bb3e63d47b5b126...69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237">compare view</a></li> </ul> </details> <br /> 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-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> 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) </details> --- Opened on GitHub by dependabot[bot] as [pull request 595](https://github.com/NON-OS/microkernel/pull/595). Review and merge happen there while this repository is kept in step from GitHub; this copy follows it, and is marked merged or closed when it is.
Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 2534b7aeb3c6b4b0a5ecc3981bb3e63d47b5b126 to 69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](2534b7aeb3...69d357bade)

---
updated-dependencies:
- dependency-name: model-checking/kani-github-action
  dependency-version: 69d357bade1eb7b32bc3fc3d5c3d173c5bfa5237
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
This pull request can be merged automatically.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin +refs/pull/149/head:nonos-sync/gh-595
git switch nonos-sync/gh-595
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
NON-OS/nonos-micro-kernel!149
No description provided.