.github/workflows/charon.yml

Fix step boundaries in fold_range_step_by #394

Sign in to view logs

Triggered via pull request September 11, 2024 09:01

franziskuskiefer

synchronize #883

fold-step-boundary

Status Success

Total duration 9m 16s

Artifacts –

charon.yml

on: pull_request