mirror of https://github.com/pulumi/pulumi.git
e88193aa4f
When we have a dev version from the dev CLI channel installed, we want to warn whenever a new version is available, so the users can upgrade. Do that, and also reduce the amount of time the version information is cached, since we expect dev versions to be released much more frequently than regular releases. This needs https://github.com/pulumi/pulumi-service/pull/17429 to be merged and deployed first. Fixes #14641 ## Checklist - [ ] I have run `make tidy` to update any new dependencies - [ ] I have run `make lint` to verify my code passes the lint check - [ ] I have formatted my code using `gofumpt` <!--- Please provide details if the checkbox below is to be left unchecked. --> - [ ] I have added tests that prove my fix is effective or that my feature works <!--- User-facing changes require a CHANGELOG entry. --> - [ ] I have run `make changelog` and committed the `changelog/pending/<file>` documenting my change <!-- If the change(s) in this PR is a modification of an existing call to the Pulumi Cloud, then the service should honor older versions of the CLI where this change would not exist. You must then bump the API version in /pkg/backend/httpstate/client/api.go, as well as add it to the service. --> - [ ] Yes, there are changes in this PR that warrants bumping the Pulumi Cloud API version <!-- @Pulumi employees: If yes, you must submit corresponding changes in the service repo. --> |
||
---|---|---|
.. | ||
apitype | ||
channel | ||
constant | ||
diag | ||
encoding | ||
env | ||
promise | ||
resource | ||
slice | ||
testing | ||
tokens | ||
tools | ||
util | ||
version | ||
workspace |