Skip to content
This repository has been archived by the owner on May 11, 2024. It is now read-only.

chore(prover): remove duplicate word in swag comment #3151

chore(prover): remove duplicate word in swag comment

chore(prover): remove duplicate word in swag comment #3151

Triggered via pull request April 24, 2024 08:16
Status Success
Total duration 12s
Artifacts

lint-pr.yml

on: pull_request
Validate PR title
3s
Validate PR title
Fit to window
Zoom out
Zoom in