Skip to content
Clear Caches of Closed PRs

Remove the old format API #218

Sign in to view logs

Remove the old format API

Remove the old format API #218

Triggered via pull request May 11, 2024 12:47
@dominiklohmanndominiklohmann
closed #4207
topic/format-cleanup
Status Success
Total duration 29s
Artifacts –

clear-caches-of-closed-prs.yaml

on: pull_request
cleanup
20s
cleanup
Fit to window
Zoom out
Zoom in