Skip to content

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

Merged
JKRT merged 2 commits into
masterfrom
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

CI: a quick smoke on pull requests instead of OM.jl's integration suite

101cc04
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar