Format suggestions

[GradedAxes] Introduce GradedUnitRangeDual #2984

Sign in to view logs

Summary
Jobs
- format
Run details
- Usage
- Workflow file

Triggered via pull request October 29, 2024 13:58

ogauthe

synchronize #1531

ogauthe:GradedUnitRangeDual

Status Success

Total duration 1m 10s

Artifacts –

format_suggestions.yml

on: pull_request