Skip to content

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

GNU Make: Remove old machines like summit and cori

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

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

docs.yml

on: pull_request
build-and-deploy
2m 26s
build-and-deploy
Fit to window
Zoom out
Zoom in