Skip to content

Update Coveralls action in CI workflow#3086

Merged
ranocha merged 1 commit into
mainfrom
hr/update_coveralls
Jun 14, 2026
Merged

Update Coveralls action in CI workflow#3086
ranocha merged 1 commit into
mainfrom
hr/update_coveralls

Commits

Commits on Jun 14, 2026