Skip to content

Small fixes#33

Merged
tobiasraabe merged 2 commits into
mainfrom
small_fixes
Feb 4, 2023
Merged

Small fixes#33
tobiasraabe merged 2 commits into
mainfrom
small_fixes

Assume codecov to be desired whenever GHA are desired.

db7534e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs