Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add sharkdp/numbat #598

Closed
wants to merge 1 commit into from
Closed

Add sharkdp/numbat #598

wants to merge 1 commit into from

Conversation

meinzer1899
Copy link
Member

numbat is a statically typed programming language for scientific computations with first class support for physical dimensions and units.

@meinzer1899
Add sharpdp/numbat
a5f2720 
numbat is a statically typed programming language for scientific computations with first class support for physical dimensions and units.

Signed-off-by: sebastian <[email protected]>
@trunk-io Trunk.io
Copy link

trunk-io bot commented Aug 12, 2024

Merging to main in this repository is managed by Trunk.

  • To merge this pull request, check the box to the left or comment /trunk merge below.

@meinzer1899 meinzer1899 self-assigned this Aug 12, 2024
@github-actions GitHub Actions
Copy link
Contributor

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

@github-actions github-actions bot added the stale 👻 No activity for quite some time. label Sep 13, 2024
@meinzer1899 meinzer1899 removed the stale 👻 No activity for quite some time. label Sep 13, 2024
@meinzer1899
Copy link
Member Author

This is not stale. I'm waiting for someone to review.

@meinzer1899
Copy link
Member Author

@onokatio ?

@github-actions GitHub Actions
Copy link
Contributor

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

@github-actions github-actions bot added the stale 👻 No activity for quite some time. label Oct 24, 2024
@meinzer1899 meinzer1899 removed the stale 👻 No activity for quite some time. label Oct 24, 2024
@github-actions GitHub Actions
Copy link
Contributor

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

@github-actions github-actions bot added the stale 👻 No activity for quite some time. label Nov 24, 2024
@meinzer1899 meinzer1899 removed the stale 👻 No activity for quite some time. label Nov 27, 2024
@meinzer1899
Copy link
Member Author

/trunk merge

@trunk-io Trunk.io
Copy link

trunk-io bot commented Nov 27, 2024

An error occurred while submitting your PR to the queue: Only users that are a part of this repo's Trunk organization or have write permissions to the repo can submit a PR to the queue

@github-actions GitHub Actions
Copy link
Contributor

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

@github-actions github-actions bot added the stale 👻 No activity for quite some time. label Dec 28, 2024
@github-actions github-actions bot closed this Jan 5, 2025
@ss-o
Copy link
Member

ss-o commented Jan 13, 2025

Pull Request closed and locked due to lack of activity. If you'd like to build on this closed PR, you can clone it using this method: https://stackoverflow.com/a/14969986 Then open a new PR, referencing this closed PR in your message.

@z-shell z-shell locked and limited conversation to collaborators Jan 13, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ss-o ss-o Awaiting requested review from ss-o

@bew bew Awaiting requested review from bew

@onokatio onokatio Awaiting requested review from onokatio

@awarewen awarewen Awaiting requested review from awarewen

@wicoop wicoop Awaiting requested review from wicoop

@digital-teams digital-teams Awaiting requested review from digital-teams

Assignees

@meinzer1899 meinzer1899

Labels
stale 👻 No activity for quite some time.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@meinzer1899 @ss-o