Better dune support #343

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request May 24, 2024 16:01

lgaeher

synchronize #347

lgaeher:better-dune-support

Status Failure

Total duration 1m 3s

Artifacts –

lint.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.