Skip to content

CI: select the test element types per run, two on pull requests, all four weekly (#91) - #103

Merged
github-actions[bot] merged 2 commits into
mainfrom
ci/eltype-selection-91
Oct 8, 2026
Merged

github-actions[bot] merged 2 commits into
mainfrom
ci/eltype-selection-91

Commits

  1. Commits on Oct 7, 2026