scroll-tech / scroll-tech/ceno

[placeholder issue] for recording old crate removal commit hash

Open
#316 0 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Rust
Stars
153
Forks
43
Avg merge
3d 13h
Merged PRs (30d)
4

Description

Commit 0a407211dcbb5eeb9e0b02438c92ed46b3197c5f from https://github.com/scroll-tech/ceno/pull/89 broke singer-pro. In https://github.com/scroll-tech/ceno/pull/314 we removed it temporarily.

This issue is here as a place-holder to remind us that we want to eventually restore the package.

TODO(Matthias): post instruction for how to do that, once the PR is merged, and we thus have a commit hash I can use in the instructions here.

Originally posted by @hero78119 in https://github.com/scroll-tech/ceno/issues/314#issuecomment-2392919107

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Review PR #314 and commit 0a407211dcbb5eeb9e0b02438c92ed46b3197c5f to understand the temporary removal of singer-pro. Once the removal PR is merged, document the restoration instructions here and include the resulting commit hash.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
build-system
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
15/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.