Skip to content

doc: commit conventions and Mathlib CI #7620

doc: commit conventions and Mathlib CI

doc: commit conventions and Mathlib CI #7620

Triggered via pull request January 12, 2025 00:59
Status Success
Total duration 34s
Artifacts

copyright-header.yml

on: pull_request
check-lean-files
24s

Annotations

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