Skip to content

remove some old files (why did we have travis anyway?) #331

remove some old files (why did we have travis anyway?)

remove some old files (why did we have travis anyway?) #331

Triggered via pull request November 22, 2024 09:35
Status Success
Total duration 56s
Artifacts

pr-format.yml

on: pull_request
formatting
47s
formatting
Fit to window
Zoom out
Zoom in