Skip to content
Back to pull request #4312

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

Sign in to view logs

GNU Make: Remove old machines like summit and cori

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

Triggered via pull request February 3, 2025 18:36
@WeiqunZhangWeiqunZhang
closed #4312
WeiqunZhang:rm_summit_cori
Status Success
Total duration 11s
Artifacts –

post-pr.yml

on: pull_request
noop
0s
noop
Fit to window
Zoom out
Zoom in