Stdlib Naming Convention

Feat/solo core metatheory proofs #990

Sign in to view logs

Triggered via pull request June 21, 2026 01:18

synchronize #614

feat/solo-core-metatheory-proofs

Status Cancelled

Total duration 9s

Artifacts –

stdlib-naming.yml

on: pull_request

enforce-lowercase-stdlib

Annotations

2 errors

enforce-lowercase-stdlib

Canceling since a higher priority waiting request for Stdlib Naming Convention-refs/pull/614/merge exists

Stdlib Naming Convention

Canceling since a higher priority waiting request for Stdlib Naming Convention-refs/pull/614/merge exists