Added check that compiled scripts are consistent.#30

Merged

choener merged 1 commit intomainfrom 10-ci-check-that-the-compiled-scripts-havent-changed

Jan 2, 2025

+60-2

Commits on Dec 30, 2024

* Could be its own job, but convenient to run during main linux CI.
choener
committed