pre-commit

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

Sign in to view logs

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

Triggered via pull request December 19, 2024 01:44

alnoki

synchronize #59

ECO-2596

Status Success

Total duration 53s

Artifacts –

pre-commit.yaml

on: pull_request

Annotations

2 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Cache save failed.