Skip to content

COMP: Widen CI coverage across platforms, linkage, and configurations - #77

Merged
hjmjohnson merged 3 commits into
masterfrom
ci/widen-coverage
Sep 21, 2026
Merged

hjmjohnson merged 3 commits into
masterfrom
ci/widen-coverage

COMP: Finish the migration from Travis to GitHub Actions

71e2b36
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error, 1 warning, and 1 notice
coverage-gcc-linux
failed Sep 21, 2026 in 1m 0s