Skip to content

Make ExecutionError non-exhaustive.#76

Merged
jauhien merged 1 commit intomainfrom feature-simulation-haltJan 15, 2025

Commits

Commits on Jan 15, 2025