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

chore: Manage dependencies using mise [3/N] #319

Open
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

janjakubnanista
Copy link
Collaborator

@janjakubnanista janjakubnanista commented Jan 14, 2025

Description

Before moving on to the GitHub Pages publishing workflow, I added mise as a dependency manager. mise is being used in the optimism monorepo and provides a great way of managing tooling required for development.

It is an add-on, it does not break or affect any existing development flows, just provides a convenient way of setting up your development environment (as well as the CI environment).

To further optimize the CI runs, dependencies that are only required for book/docs building have been pulled out into a separate mise.book.toml file. See configuration environments documentation for more information.

mise then allows us to use the bare ubuntu runner which is about ` minute faster to setup.

Copy link

cloudflare-workers-and-pages bot commented Jan 14, 2025

Deploying supersim with  Cloudflare Pages  Cloudflare Pages

Latest commit: 3231272
Status: ✅  Deploy successful!
Preview URL: https://2e25f0f1.supersim.pages.dev
Branch Preview URL: https://jan-circleci--003.supersim.pages.dev

View logs

@janjakubnanista janjakubnanista self-assigned this Jan 14, 2025
@janjakubnanista janjakubnanista changed the title chore: Migrate github pages deployment workflow to CircleCI chore: Migrate github pages deployment workflow to CircleCI [3/N] Jan 14, 2025
@janjakubnanista janjakubnanista force-pushed the jan/circleci--003 branch 2 times, most recently from f9885b9 to bb12546 Compare January 17, 2025 00:13
@janjakubnanista janjakubnanista changed the title chore: Migrate github pages deployment workflow to CircleCI [3/N] chore: Manage dependencies using mise [3/N] Jan 17, 2025
@janjakubnanista janjakubnanista marked this pull request as ready for review January 17, 2025 01:05
@janjakubnanista janjakubnanista requested a review from a team as a code owner January 17, 2025 01:05
@fainashalts
Copy link
Collaborator

I love this! We actually have an issue for doing this. Will let James review but fyi it looks like some tests are failing @janjakubnanista.

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