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.

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

Support NET_RECEIVE{ INITIAL { ... }}. #1437

Merged
merged 2 commits into from
Sep 19, 2024
Merged

Support NET_RECEIVE{ INITIAL { ... }}. #1437

merged 2 commits into from
Sep 19, 2024

Conversation

1uc
Copy link
Collaborator

@1uc 1uc commented Sep 18, 2024

No description provided.

bbpadministrator pushed a commit to BlueBrain/nmodl-references that referenced this pull request Sep 18, 2024
bbpadministrator pushed a commit to BlueBrain/nmodl-references that referenced this pull request Sep 18, 2024
@1uc 1uc marked this pull request as ready for review September 19, 2024 07:40
@JCGoran
Copy link
Contributor

JCGoran commented Sep 19, 2024

I think CMakeLists.txt needs to be updated as well since the diff of the refs is empty: BlueBrain/nmodl-references@0a1eb3a

@1uc
Copy link
Collaborator Author

1uc commented Sep 19, 2024

It's registered, but the most recent push didn't change the references. If it doesn't show what you want you can create a fake PR which then shows you "everything". Here:
https://github.com/BlueBrain/nmodl-references/pull/23/files

(These are never merged, they're only there to use Github as a field viewer.)

Copy link
Contributor

@JCGoran JCGoran left a comment

Choose a reason for hiding this comment

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

It's registered, but the most recent commit didn't change the references

Okay, makes sense. In that case, it's good to go!

bbpadministrator pushed a commit to BlueBrain/nmodl-references that referenced this pull request Sep 19, 2024
@1uc 1uc merged commit 44c649d into master Sep 19, 2024
21 checks passed
@1uc 1uc deleted the 1uc/net_receive_initial branch September 19, 2024 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants