chore: update project configuration and tooling #365
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- Added `.python-version` file to specify Python version 3.13. - Introduced a new `justfile` for task automation. - - Removed obsolete `.prettierignore` and `poetry.lock` files. - Enhanced `mkdocs.yml` and `mkdocs.insiders.yml` to include the `drawio` plugin. - Made various minor adjustments to documentation files for consistency and clarity. - Cleaned up whitespace and formatting across multiple markdown files.
- Removed trailing whitespace in `justfile`, `README.md`, and GitHub workflow files. - Added a newline at the end of `justfile` to ensure proper file termination. - Minor adjustments to improve readability and maintain consistency across files.
|
The preview of this PR has been deleted. |
- Modified `justfile` to include `uv tool install just` and removed redundant `uv run` commands for installing hooks and tools. - Updated mkdocs commands in `justfile` to specify the configuration file explicitly. - Removed Python and Poetry version specifications from GitHub workflow files to streamline environment setup.
- Deleted various changelog files and templates that are no longer needed, including change templates, unreleased notes, and version summaries. - Cleaned up the changelog directory structure by removing outdated breaking changes and bug fix entries across multiple versions. - This cleanup helps streamline the documentation and maintain focus on current and relevant changes.
- Adjusted indentation in the `setup-repo` target for consistency. - Removed trailing whitespace in the `build` target to improve formatting. - These changes enhance readability and maintain a clean code style.
- Renamed the `juvix-typecheck` hook to `typecheck` in the pre-commit configuration for clarity. - Adjusted commands in the `justfile` to standardize the usage of `uv run pre-commit`. - Updated GitHub workflows to reflect the new hook name and ensure consistent error handling. - Modified documentation to align with the new command structure for running pre-commit checks.
jonaprieto
changed the title
- Deleted the `fix_changelog.py` hook from the mkdocs configuration as it is no longer needed. - Updated the exclude_docs section to reflect the removal of the hooks directory, streamlining the documentation process.
…l insiders version - Changed the command from 'uv run install' to 'uv add' in both deploy and pull-requests workflows for consistency in installing the mkdocs-material-insiders package.
…ation - Deleted the `git-revision-date-localized` plugin from the `mkdocs.insiders.yml` file to simplify the configuration and reduce unnecessary complexity.
- Updated the INSIDERS_VERSION from 9.5.49-insiders-4.53.14 to 9.6.12-insiders-4.53.16 in both deploy.yml and pull-requests.yml to ensure compatibility with the latest mkdocs-material version.
vveiln
pushed a commit
that referenced
this pull request
Apr 25, 2025
- `uv` instead of `poetry`, reason: speedy package manager - `cz` instead of `unclog`, reason: `cz` is installed by default and can be used interactively. - Remove all entries in .changelog/ in favour of `cz` (Commitizen). - Update GitHub Actions
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
uvinstead ofpoetry, reason: speedy package managerczinstead ofunclog, reason:czis installed by default and can be used interactively.cz(Commitizen).