Stdlib Naming Convention

chore(gitignore): ignore dune-generated *.install manifests #365

Sign in to view logs

Triggered via pull request May 20, 2026 08:30

opened #306

gitignore-install-artefact

Status Success

Total duration 12s

Artifacts –

stdlib-naming.yml

on: pull_request

enforce-lowercase-stdlib