Skip to content

GNU Make: Remove old machines like summit and cori #7286

GNU Make: Remove old machines like summit and cori

GNU Make: Remove old machines like summit and cori #7286

Triggered via pull request January 31, 2025 16:45
Status Success
Total duration 1m 27s
Artifacts

style.yml

on: pull_request
Fit to window
Zoom out
Zoom in