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

Nat <: Int, and `(Nat|Int)N <: (Nat #202

Closed
hansl opened this issue Mar 12, 2021 · 0 comments
Closed

Nat <: Int, and `(Nat|Int)N <: (Nat #202

hansl opened this issue Mar 12, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@hansl
Copy link
Contributor

hansl commented Mar 12, 2021

Is your feature request related to a problem? Please describe.
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Describe the solution you'd like
A clear and concise description of what you want to happen.

Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.

Additional context
Add any other context or screenshots about the feature request here.

@hansl hansl added the enhancement New feature or request label Mar 12, 2021
@hansl hansl changed the title Nat <: Int, and `(Nat|Int)N <: ( Nat <: Int, and `(Nat|Int)N <: (Nat Mar 12, 2021
@hansl hansl closed this as completed Mar 12, 2021
ninegua pushed a commit to ninegua/candid that referenced this issue Apr 22, 2022
This includes a change to request_id from the identity-provider PR
(dfinity#132) that I thought was related to something else, but is essential
here with the new lerna packages.

This moves the CI to using lerna entirely, and prevents running
npm install (instead telling the user to run npx lerna bootstrap).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant