CI

add Vtype-def-position option, guarded by a test suite #291

Sign in to view logs

GitHub Actions / Test Report (2.13.12) succeeded Oct 6, 2023 in 0s

All 99 tests pass in 13s

99 tests ±0 99 ✔️ ±0 13s ⏱️ ±0s
16 suites ±0   0 💤 ±0
16 files ±0   0 ❌ ±0

Results for commit 05b5586. ± Comparison against earlier commit aa7192e.

View more details on GitHub Actions