Repository navigation

Coverage in two shard jobs; a quick smoke on pull requests (0.3.0) - #7

Merged

JKRT merged 2 commits into

coverage-shards

Oct 13, 2026

Merged

Coverage in two shard jobs; a quick smoke on pull requests (0.3.0)#7
JKRT merged 2 commits into
masterfrom
coverage-shards

Commits on Oct 13, 2026
- Coverage in two shard jobs, merged and published by a third (0.3.0)
  JKRT
  committed
  8982835
- CI: a quick smoke on pull requests instead of OM.jl's integration suite
  JKRT
  committed
  101cc04