Skip to content

Actions: scroll-tech/zkvm-prover

Actions

Pull Request Labeler

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labeler.yml
913 workflow runs
913 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat: Euclid Phase2 Pull Request Labeler #13: Pull request #43 synchronize by roynalnaruto
11s feat/phase2
feat/phase2
11s
bump revm/reth/sbv/openvm version; work with gpu Pull Request Labeler #12: Pull request #55 opened by lispc
11s chore/upgrade-libs
chore/upgrade-libs
11s
Feat: Euclid Phase2 Pull Request Labeler #11: Pull request #43 synchronize by roynalnaruto
11s feat/phase2
feat/phase2
11s
Print total_cycles in PR description Pull Request Labeler #10: Pull request #54 ready_for_review by roynalnaruto
10s feat/compare-cycles
feat/compare-cycles
10s
Print total_cycles in PR description Pull Request Labeler #9: Pull request #54 synchronize by roynalnaruto
12s feat/compare-cycles
feat/compare-cycles
12s
Print total_cycles in PR description Pull Request Labeler #8: Pull request #54 synchronize by roynalnaruto
14s feat/compare-cycles
feat/compare-cycles
14s
Print total_cycles in PR description Pull Request Labeler #7: Pull request #54 opened by roynalnaruto
12s feat/compare-cycles
feat/compare-cycles
12s
Feat: Euclid Phase2 Pull Request Labeler #6: Pull request #43 synchronize by roynalnaruto
11s feat/phase2
feat/phase2
11s
add codeowners Pull Request Labeler #5: Pull request #52 opened by roynalnaruto
14s chore/codeowners
chore/codeowners
14s
Feat: Euclid Phase2 Pull Request Labeler #4: Pull request #43 synchronize by roynalnaruto
10s feat/phase2
feat/phase2
10s
Feat: Euclid Phase2 Pull Request Labeler #3: Pull request #43 synchronize by roynalnaruto
13s feat/phase2
feat/phase2
13s
fix: correctly set paths_ignore Pull Request Labeler #2: Pull request #51 synchronize by roynalnaruto
10s fix/ci-2
fix/ci-2
10s
fix: correctly set paths_ignore Pull Request Labeler #1: Pull request #51 synchronize by roynalnaruto
10s fix/ci-2
fix/ci-2
10s
ProTip! You can narrow down the results and go further in time using created:<2025-03-05 or the other filters available.