CI_mypy

Update README for dune-built CodeHawk #438

Sign in to view logs

Triggered via pull request May 3, 2025 11:57

brk

synchronize #221

brk:standardize-on-dune

Status Success

Total duration 28s

Artifacts –

run_mypy.yaml

on: pull_request