Skip to content

zscilib: Add Zephyr PR for Pull Request 63#78596

Closed
deganii wants to merge 1 commit intozephyrproject-rtos:mainfrom
deganii:deganii-patch-2
Closed

zscilib: Add Zephyr PR for Pull Request 63#78596
deganii wants to merge 1 commit intozephyrproject-rtos:mainfrom
deganii:deganii-patch-2

Conversation

@deganii
Copy link
Copy Markdown

@deganii deganii commented Sep 17, 2024

This diff adds a Zephyr PR for the zephyrproject-rtos/zscilib#63 quaternion enhancements

Signed-off-by: Ismail Degani deganii@gmail.com

zscilib: fix computational errors

This diff adds a top-level Zephyr PR for the zscilib enhancements described in detail here:
zephyrproject-rtos/zscilib#63

Signed-off-by: Ismail Degani <deganii@gmail.com>
@zephyrbot zephyrbot added the size: XS A PR changing only a single line of code label Sep 17, 2024
@zephyrbot
Copy link
Copy Markdown

The following west manifest projects have been modified in this Pull Request:

Name Old Revision New Revision Diff
zscilib zephyrproject-rtos/zscilib@ee1b287 (master) zephyrproject-rtos/zscilib#63 zephyrproject-rtos/zscilib#63/files

Note: This message is automatically posted and updated by the Manifest GitHub Action.

@zephyrbot zephyrbot added manifest manifest-zscilib DNM This PR should not be merged (Do Not Merge) labels Sep 17, 2024
@deganii deganii changed the title Add Zephyr PR for zscilib Pull Request #63 zscilib: Add Zephyr PR for Pull Request #63 Sep 17, 2024
@deganii deganii changed the title zscilib: Add Zephyr PR for Pull Request #63 zscilib: Add Zephyr PR for Pull Request 63 Sep 17, 2024
@github-actions
Copy link
Copy Markdown

This pull request has been marked as stale because it has been open (more than) 60 days with no activity. Remove the stale label or add a comment saying that you would like to have the label removed otherwise this pull request will automatically be closed in 14 days. Note, that you can always re-open a closed pull request at any time.

@github-actions
Copy link
Copy Markdown

This pull request has been marked as stale because it has been open (more than) 60 days with no activity. Remove the stale label or add a comment saying that you would like to have the label removed otherwise this pull request will automatically be closed in 14 days. Note, that you can always re-open a closed pull request at any time.

@github-actions github-actions bot added the Stale label Jan 23, 2025
@fabiobaltieri fabiobaltieri added DNM (manifest) This PR should not be merged (controlled by action-manifest) and removed DNM This PR should not be merged (Do Not Merge) labels Feb 4, 2025
@github-actions github-actions bot removed the Stale label Feb 5, 2025
@github-actions
Copy link
Copy Markdown

github-actions bot commented Apr 6, 2025

This pull request has been marked as stale because it has been open (more than) 60 days with no activity. Remove the stale label or add a comment saying that you would like to have the label removed otherwise this pull request will automatically be closed in 14 days. Note, that you can always re-open a closed pull request at any time.

@github-actions github-actions bot added the Stale label Apr 6, 2025
@github-actions github-actions bot closed this Apr 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

DNM (manifest) This PR should not be merged (controlled by action-manifest) manifest manifest-zscilib size: XS A PR changing only a single line of code Stale

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants