-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: cspr-rad/actus-spec
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Rewrite end of month / same day conventions
p-high
High level priority
v2.0
Technical Spec 2.0
#9
opened Oct 9, 2023 by
asladeofgreen
Formal Verification
enhancement
New feature or request
p-high
High level priority
v2.0
Technical Spec 2.0
#7
opened Oct 9, 2023 by
asladeofgreen
Commit to joining weekly ACTUS WG calls
p-high
High level priority
#6
opened Oct 9, 2023 by
asladeofgreen
Testing framework
enhancement
New feature or request
p-high
High level priority
v2.0
Technical Spec 2.0
#5
opened Oct 9, 2023 by
asladeofgreen
Technical specification authored in typst
enhancement
New feature or request
p-medium
Medium priority
v2.0
Technical Spec 2.0
#4
opened Oct 9, 2023 by
asladeofgreen
Serialization strictness is non-negotiable
p-medium
Medium priority
v2.0
Technical Spec 2.0
#3
opened Oct 9, 2023 by
asladeofgreen
Serialisation Formats
p-medium
Medium priority
v2.0
Technical Spec 2.0
#1
opened Oct 9, 2023 by
asladeofgreen
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.