Remove unnecessary loop variable from series meta-programming #694

Sign in to view logs

Triggered via pull request October 25, 2024 10:04

lgoettgens

opened #1923

lgoettgens:lg/mod-series-flint_fn

Status Success

Total duration 44m 8s

Artifacts –

hecke.yml

on: pull_request

Matrix: test-oscar