Check for modules that should use `prelude`

fix: handle reordered indices in structural recursion #6271

Sign in to view logs

Triggered via pull request November 18, 2024 10:17

nomeata

synchronize #6116

joachim/issue6015

Status Success

Total duration 13s

Artifacts –

check-prelude.yml

on: pull_request