Skip to content
Check for modules that should use `prelude`

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

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 #905

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

check-prelude.yml

on: pull_request
check-prelude
6s
check-prelude
Fit to window
Zoom out
Zoom in