Skip to content

One definition of the machine, imported instead of spelled again - #81

Merged
aledbf merged 4 commits into
mainfrom
feat/one-machine-definition
Sep 8, 2026
Merged

One definition of the machine, imported instead of spelled again#81
aledbf merged 4 commits into
mainfrom
feat/one-machine-definition

Type-check the tagged tests, which nothing was doing

486c468
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Sep 8, 2026 in 0s

38.92% of diff hit (target 32.50%)

View this Pull Request on Codecov

38.92% of diff hit (target 32.50%)

View more details on Codecov