Check for modules that should use `prelude`

chore: pr-release.yaml: fetch nightly-with-mathlib sha using ls-remote #1070

Sign in to view logs

Triggered via pull request April 15, 2024 13:37

nomeata

opened #3914

joachim/pr-release-fetch-base

Status Success

Total duration 14s

Artifacts –

check-prelude.yml

on: pull_request