Check for modules that should use `prelude`

chore: add newline at end of file for `lake new` templates #6086

Sign in to view logs

Triggered via pull request November 11, 2024 04:59

alissa-tung

synchronize #6026

alissa-pr:patch-1

Status Success

Total duration 17s

Billable time 1m

Artifacts –

check-prelude.yml

on: pull_request