Skip to content

feat: use remote batch prover #1859

feat: use remote batch prover

feat: use remote batch prover #1859

Triggered via pull request March 6, 2025 19:00
Status Success
Total duration 1m 51s
Artifacts

lint.yml

on: pull_request
rustfmt
26s
rustfmt
clippy
36s
clippy
toml
13s
toml
workspace-lints
16s
workspace-lints
doc
1m 39s
doc
rust version consistency
3s
rust version consistency
check for unused dependencies
56s
check for unused dependencies
proto check
20s
proto check
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
rust version consistency
Unexpected input(s) 'profile', 'override', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
rust version consistency
Unexpected input(s) 'profile', 'override', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']