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

Incremental commits spec changes #12

Merged
merged 12 commits into from
Jan 27, 2025
Merged

Incremental commits spec changes #12

merged 12 commits into from
Jan 27, 2025

Conversation

v0d1ch
Copy link
Contributor

@v0d1ch v0d1ch commented Dec 31, 2024

No description provided.

@v0d1ch v0d1ch self-assigned this Dec 31, 2024
@v0d1ch v0d1ch mentioned this pull request Dec 31, 2024
Closed
15 tasks
@v0d1ch v0d1ch changed the title Incremental commits changes Incremental commits spec changes Jan 23, 2025
@noonio
Copy link
Contributor

noonio commented Jan 27, 2025

Notes:

  • Update the HeadLogic.hs to contain the eta-alpha on line 445

@v0d1ch
Copy link
Contributor Author

v0d1ch commented Jan 27, 2025 •
edited
Loading

#12 (comment)

I added a todo in the update-spec branch in hydra

@v0d1ch v0d1ch merged commit 0fc3da2 into master Jan 27, 2025
1 check passed
@noonio noonio deleted the incremental-commits-changes branch January 29, 2025 10:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@noonio noonio noonio left review comments

Assignees

@v0d1ch v0d1ch

Labels
None yet
Projects
☕ Hydra Team Work
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@v0d1ch @noonio