v0.1.13

CloseOpenIntervals v0.1.13

Diff since v0.1.12

Merged pull requests:

• enable dependabot for GitHub actions (#9) (@ranocha)
• Bump codecov/codecov-action from 1 to 3 (#10) (@dependabot[bot])
• Bump actions/cache from 1 to 3 (#11) (@dependabot[bot])
• Bump actions/checkout from 2 to 3 (#12) (@dependabot[bot])
• Bump actions/checkout from 3 to 4 (#13) (@dependabot[bot])
• Bump actions/cache from 3 to 4 (#14) (@dependabot[bot])
• Bump julia-actions/setup-julia from 1 to 2 (#17) (@dependabot[bot])