Skip to content
Enforce PR labels

Update AA to 0.46, Nemo to 0.51, Hecke to 0.37 #1018

Sign in to view logs

Update AA to 0.46, Nemo to 0.51, Hecke to 0.37

Update AA to 0.46, Nemo to 0.51, Hecke to 0.37 #1018

Triggered via pull request July 15, 2025 19:14
@lgoettgenslgoettgens
synchronize #5110
lgoettgens:lg/bump-AA-Nemo-Hecke
Status Success
Total duration 3m 59s
Artifacts –

EnforceLabels.yml

on: pull_request
Check for blocking labels
16s
Check for blocking labels
Fit to window
Zoom out
Zoom in