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

nickel 1.2.0 #142632

Merged
merged 2 commits into from
Sep 15, 2023
Merged

nickel 1.2.0 #142632

merged 2 commits into from
Sep 15, 2023

Conversation

chenrui333
Copy link
Member

Created by brew bump


Created with brew bump-formula-pr.

release notes
Version 1.2
===========

Version 1.2 comes with several improvements on the LSP and other components of the Nickel tooling. The new customize mode of the CLI makes it possible to dynamically turn a configuration into a command-line interface, which you can interact with.

Several related long-standing issues and limitations when typechecking polymorphic functions are also finally fixed.

Core language

Fixes

Tooling

Stdlib

Documentation

New Contributors

Full Changelog: tweag/nickel@1.1.1...1.2.0

@github-actions github-actions bot added rust Rust use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Sep 14, 2023
@chenrui333

This comment was marked as resolved.

@chenrui333 chenrui333 added the build failure CI fails while building the software label Sep 14, 2023
nickel: update build

Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333 chenrui333 added ready to merge PR can be merged once CI is green and removed build failure CI fails while building the software labels Sep 14, 2023
@chenrui333
Copy link
Member Author

@github-actions
Copy link
Contributor

🤖 An automated task has requested bottles to be published to this PR.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Sep 15, 2023
@BrewTestBot BrewTestBot added this pull request to the merge queue Sep 15, 2023
Merged via the queue into Homebrew:master with commit 25bb1f5 Sep 15, 2023
12 checks passed
@chenrui333 chenrui333 deleted the bump-nickel-1.2.0 branch January 22, 2024 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bump-formula-pr PR was created using `brew bump-formula-pr` CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. ready to merge PR can be merged once CI is green rust Rust use is a significant feature of the PR or issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants