Skip to content

Taskfile: Replace utility tasks with ones from yscope-dev-utils.#456

Merged
kirkrodrigues merged 2 commits into
y-scope:mainfrom
kirkrodrigues:split-util-tasks
Jun 24, 2024
Merged

Taskfile: Replace utility tasks with ones from yscope-dev-utils.#456
kirkrodrigues merged 2 commits into
y-scope:mainfrom
kirkrodrigues:split-util-tasks

Conversation

@kirkrodrigues

@kirkrodrigues kirkrodrigues commented Jun 21, 2024

Copy link
Copy Markdown
Member

Description

In an effort to simplify the main Taskfile before we add more tasks, this PR replaces the utility tasks for creating a Python venv, checksumming, and replacing text with the ones from yscope-dev-utils.

Validation performed

task clean
task lint:check
task lint:fix
task
task
task docs:site
task docs:site

This validates the lint tasks as well as clean and incremental builds of the package and docs.

@kirkrodrigues kirkrodrigues changed the title Taskfile: Move utility tasks into their own taskfile. Taskfile: Replace utility tasks with ones from yscope-dev-utils. Jun 23, 2024
Comment thread .gitmodules

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's remove L10's shallow = true.

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure, let's do that in another PR since it wasn't a change introduced by this PR.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure. The rest LGTM.

@kirkrodrigues kirkrodrigues merged commit a40a661 into y-scope:main Jun 24, 2024
@kirkrodrigues kirkrodrigues deleted the split-util-tasks branch June 24, 2024 20:35
jackluo923 pushed a commit to jackluo923/clp that referenced this pull request Dec 4, 2024
junhaoliao pushed a commit to junhaoliao/clp that referenced this pull request May 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants