starks: follow main to a47d23ae9 #163

Open
nonos-sync wants to merge 1 commit from nonos-sync/gh-620 into main AGit
Member

STARKs main moved from a41bb8bb0 to a47d23ae9:
github.com/NON-OS/STARKs@a41bb8bb0d...a47d23ae96

flake.lock moves the starks input; tools/nonos-starks-sync wrote the commit into every Cargo.lock.

nix flake check: green

This is the trust path. Read the STARKs change before merging.


Opened on GitHub by github-actions[bot] as pull request 620. 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.

STARKs main moved from `a41bb8bb0` to `a47d23ae9`: https://github.com/NON-OS/STARKs/compare/a41bb8bb0dacfea614acc6fb500d0b96abd78d2b...a47d23ae969e23b5f841e30b49a1d483a80a6b02 flake.lock moves the `starks` input; tools/nonos-starks-sync wrote the commit into every Cargo.lock. nix flake check: **green** ``` ``` This is the trust path. Read the STARKs change before merging. --- Opened on GitHub by github-actions[bot] as [pull request 620](https://github.com/NON-OS/microkernel/pull/620). 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.
nonos-sync force-pushed nonos-sync/gh-620 from 9421834327 to c5d74f7f18 2026-10-11 08:12:38 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from c5d74f7f18 to c4eb0fc842 2026-10-12 09:37:12 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from c4eb0fc842 to 419cde4355 2026-10-13 09:46:40 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from 419cde4355 to efe1cf5e61 2026-10-14 06:49:08 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from efe1cf5e61 to 1ac0e3a11d 2026-10-15 06:50:38 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from 1ac0e3a11d to a7c35bc414 2026-10-16 06:10:24 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from a7c35bc414 to 74ac6f973f 2026-10-17 06:12:05 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from 74ac6f973f to b996fb3af0 2026-10-18 06:16:23 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from b996fb3af0 to ab69242782 2026-10-19 07:35:36 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from ab69242782 to 4e127bd866 2026-10-20 06:48:52 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from 4e127bd866 to 2d1ba15b0a 2026-10-21 07:06:37 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from 2d1ba15b0a to 70988cc3f9 2026-10-22 06:37:44 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from 70988cc3f9 to e9c6c4bec9 2026-10-23 06:32:46 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from e9c6c4bec9 to ac78a5a725 2026-10-24 05:56:44 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from ac78a5a725 to abbaf571d8 2026-10-25 06:12:46 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from abbaf571d8 to 71be8521d0 2026-10-27 06:58:22 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from 71be8521d0 to bae035524d 2026-10-28 08:00:23 -04:00 Compare
nonos-sync force-pushed nonos-sync/gh-620 from bae035524d to 2fa3bc321b 2026-10-29 07:55:49 -04:00 Compare
This pull request can be merged automatically.
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/163/head:nonos-sync/gh-620
git switch nonos-sync/gh-620
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
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!163
No description provided.