CI

`OperationInterval` extends `RightOpenInterval` #740

Sign in to view logs

Summary
Jobs
- buildAndTest
Run details
- Usage
- Workflow file

Triggered via pull request February 6, 2025 13:21

sebastian-peter

synchronize #1147

sp/#1142-operationinterval

Status Success

Total duration 6m 32s

Artifacts –

ci.yml

on: pull_request