Check for modules that should use `prelude`

fix: some goal state issues #5208

Sign in to view logs

Triggered via pull request October 11, 2024 15:12

mhuisi

synchronize #5677

mhuisi:mhuisi/state-after-case-tactic

Status Success

Total duration 13s

Artifacts –

check-prelude.yml

on: pull_request