Dear all, what is the recommended way to check Agda proofs in CI? (and run the extracted code) I have this procedure https://gitlab.imn.htwk-leipzig.de/waldmann/cetera/-/blob/main/.gitlab-ci.yml but maybe there are better ways ... - Johannes.