Skip to content

Pull requests: rzk-lang/rzk

New pull request New
Clear current search query, filters, and sorts
5 Open 100 Closed
5 Open 100 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix CI: update all actions
#184 by fizruk was merged May 2, 2024 Loading… updated May 2, 2024
Add syntax sugar for nested sigma-types
#183 by geffk2 was merged May 2, 2024 Loading… updated May 2, 2024
1
7
Fix build of nix flake on aarch64-darwin
#181 by geffk2 was merged Apr 24, 2024 Loading… updated Apr 24, 2024
4
Improve error reporting for unused variables
#179 by fizruk was merged Apr 5, 2024 Loading… updated Apr 5, 2024
1
Small docs fixes/improvement
#178 by fizruk was merged Apr 4, 2024 Loading… updated Apr 4, 2024
2 tasks done
1
1
Report correct location for parse error diagnostics (Language Server)
#176 by fizruk was merged Apr 2, 2024 Loading… updated Apr 2, 2024
3 tasks done
Release v0.7.4
#175 by fizruk was merged Apr 1, 2024 Loading… updated Apr 1, 2024
Fix skipping to typechecking the next file if the current has an error
#167 by aabounegm was merged Apr 1, 2024 Loading… updated Apr 1, 2024
1
Fix playground ci
#174 by deemp was merged Apr 1, 2024 Loading… updated Apr 1, 2024
1
Do not reset diagnostics for cached files
#172 by fizruk was closed Apr 1, 2024 Loading… updated Apr 1, 2024
1
fix typo
#171 by ncfavier was merged Mar 19, 2024 Loading… updated Mar 19, 2024
1
Blog hotfix: formatter post
#169 by aabounegm was merged Jan 17, 2024 Loading… updated Jan 17, 2024
2
Add a post about the formatter
#166 by aabounegm was merged Jan 7, 2024 Loading… updated Jan 7, 2024
2
Move inline handlers to the dedicated module
#165 by aabounegm was merged Dec 20, 2023 Loading… updated Dec 20, 2023
Release v0.7.3
#164 by fizruk was merged Dec 16, 2023 Loading… updated Dec 16, 2023
Skip typechecking when the decls have not changed
#159 by aabounegm was merged Dec 15, 2023 Loading… updated Dec 15, 2023
1
Fix formatter crashing the server
#161 by aabounegm was merged Dec 15, 2023 Loading… updated Dec 15, 2023
2
Formatter unit tests
#157 by aabounegm was merged Dec 14, 2023 Loading… updated Dec 14, 2023
2
Split the space edits around bin ops into 2
#160 by aabounegm was merged Dec 14, 2023 Loading… updated Dec 14, 2023
Release v0.7.2
#158 by fizruk was merged Dec 12, 2023 Loading… updated Dec 12, 2023
Replace line string content with tokens when checking open parens
#156 by aabounegm was merged Dec 11, 2023 Loading… updated Dec 11, 2023
Throw an error when rzk.yaml include is empty
#154 by aabounegm was merged Dec 11, 2023 Loading… updated Dec 11, 2023
5
Fix extra space after open parens in formatter formatter
#155 by aabounegm was merged Dec 11, 2023 Loading… updated Dec 11, 2023
1
Set up blog (in English version)
#153 by fizruk was merged Dec 10, 2023 Loading… updated Dec 10, 2023
Add support for multiple languages in the documentation
#150 by fizruk was merged Dec 9, 2023 Loading… updated Dec 9, 2023
8 of 11 tasks
ProTip! Mix and match filters to narrow down what you’re looking for.