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

Lint PR

feat(prover): improve `/status` API #1863

Sign in to view logs

Triggered via pull request November 3, 2023 06:19

synchronize #444

update-status-api

Status Success

Total duration 17s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-pr.yml

on: pull_request

Validate PR title