Skip to content
Check for copyright header

chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched #1060

Sign in to view logs

chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched

chore: when setting up Mathlib CI, make sure nightly-with-mathlib branch has been fetched #1060

Triggered via pull request April 5, 2024 00:25
@kim-emkim-em
opened #3834
fetch-nightly-with-mathlib
Status Success
Total duration 25s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
16s
check-lean-files
Fit to window
Zoom out
Zoom in