pre-commit

[ECO-2596] Add assorted Move Prover research snippets #247

Sign in to view logs

Summary
Jobs
- pre-commit
Run details
- Usage
- Workflow file

Triggered via pull request December 19, 2024 02:13

alnoki

synchronize #59

ECO-2596

Status Failure

Total duration 45s

Artifacts –

pre-commit.yaml

on: pull_request

Annotations

1 error and 1 warning

Process completed with exit code 1.

Cache save failed.